Developing Security Protocols by Refinement.

Christoph Sprenger Ivano Somaini

Published in: Arch. Formal Proofs (2017)

Keyphrases

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