Abstractions for security protocol verification.

Thanh Binh Nguyen Christoph Sprenger Cas Cremers

Published in: J. Comput. Secur. (2018)

Keyphrases

security protocols
cryptographic protocols
automated design
security services
artificial immune algorithm
cryptographic algorithms
model checking
authentication protocol
security mechanisms
key management
information systems
block cipher
distributed systems