Challenges in the Automated Verification of Security Protocols

Abstract. The application area of security protocols raises several problems that are relevant to automated deduction. We describe in this note some of these challenges.

• Type: Conference
• Year: 2008
• Where: CADE
• Authors: Hubert Comon-Lundh
• Keywords: Automated Reasoning, CADE 2008, Security Protocols