Login / Signup
Intensional specifications of security protocols.
A. W. Roscoe
Published in:
CSFW (1996)
Keyphrases
</>
security protocols
automated design
security services
cryptographic algorithms
key management
security properties
secure communication
authentication protocol
artificial immune algorithm
formal specification
security mechanisms
cryptographic protocols
case study
security requirements
databases