Verifying Security Protocols: An ASM Approach

In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenario, the attacker and the communication between them1 .

• Type: Conference
• Year: 2005
• Where: ASM
• Authors: Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
• Keywords: Abstract State Machines, ASM 2005, Microbiology, Modeling Technique, Security Protocols