Automatic Proof of Strong Secrecy for Security Protocols.
Bruno BlanchetPublished in: IEEE Symposium on Security and Privacy (2004)
Keyphrases
- security protocols
- security properties
- key management
- automated design
- security services
- key distribution
- artificial immune algorithm
- cryptographic algorithms
- security requirements
- secure communication
- authentication protocol
- wireless sensor networks
- authentication scheme
- security analysis
- security mechanisms
- power consumption
- cost effective
- lightweight