Improving the Security of Cryptographic Protocol Standards.
David A. BasinCas CremersKunihiko MiyazakiSasa RadomirovicDai WatanabePublished in: IEEE Secur. Priv. (2015)
Keyphrases
- cryptographic protocols
- security properties
- security protocols
- authentication protocol
- encryption decryption
- iso iec
- security requirements
- security analysis
- insider attacks
- security policies
- standard model
- information security
- intrusion detection
- access control
- real time
- security mechanisms
- security issues
- statistical databases