Verifying Security Protocols: An ASM Approach.
Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn · 2005
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the di#erent agents in the scenario, the attacker and the communication between them.