Formal Security Analysis with Interacting State Machines.

David von Oheimb Volkmar Lotz

Published in: ESORICS (2002)

Keyphrases

security analysis
state machines
state machine
reactive systems
petri net
security requirements
public key
smart card
high security
authentication protocol
encryption scheme
sequence diagrams
user authentication
recurrent networks
formal model
formal specification
finite state machines
real time