ASN1-light: A Verified Message Encoding for Security Protocols.

Holger Grandy Robert Bertossi Kurt Stenzel Wolfgang Reif

Published in: SEFM (2007)

Keyphrases

security protocols
automated design
cryptographic algorithms
security properties
security services
artificial immune algorithm
key management
email
authentication protocol
security mechanisms
secure communication
security requirements