A Timed Logic for Modeling and Reasoning about Security Protocols.

Xinfeng Lei Rui Xue Ting Yu

Published in: IACR Cryptol. ePrint Arch. (2010)

Keyphrases

security protocols
automated design
formal theory
security services
colored petri nets
real time
distributed systems
petri net
security mechanisms
peer to peer
authentication protocol
security properties
cryptographic algorithms
artificial immune algorithm