Pitfalls in Formal Reasoning about Security Protocols.
Nina MoebiusKurt StenzelWolfgang ReifPublished in: ARES (2010)
Keyphrases
- security protocols
- automated design
- cryptographic algorithms
- security properties
- secure communication
- security services
- artificial immune algorithm
- key management
- authentication protocol
- cryptographic protocols
- formal model
- security mechanisms
- formal specification
- data processing
- artificial intelligence
- formal methods
- operating system
- real time