Security Protocols as Choreographies

Keyphrases

• Security Protocols 100%
• Auditable 100%
• Security Properties 50%
• Concurrent Systems 50%
• First-order Logic 50%
• Rewrite Rules 50%
• Issuer 50%
• Property Description 50%
• Protocol Description 50%

Computer Science

• Security protocols 100%
• Security Properties 50%
• Concurrent System 50%
• Message Exchange 50%
• Rewrite Rule 50%