Synthesising Attacks on Cryptographic Protocols.

David Sinclair David Gray Geoff W. Hamilton

Published in: ATVA (2004)

Keyphrases

cryptographic protocols
standard model
security protocols
security properties
authentication protocol
insider attacks
cost effective
access control
lightweight