Sciweavers

ASM
2005
ASM

Verifying Security Protocols: An ASM Approach

13 years 9 months ago
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 .
Dominik Haneberg, Holger Grandy, Wolfgang Reif, Ge
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where ASM
Authors Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
Comments (0)