Formal Verification of Type Flaw Attacks in Security Protocols.
Benjamin W. LongPublished in: APSEC (2003)
Keyphrases
- security protocols
- formal verification
- model checking
- cryptographic protocols
- cryptographic algorithms
- automated design
- bounded model checking
- symbolic model checking
- security services
- security properties
- security mechanisms
- authentication protocol
- key management
- model checker
- automated verification
- artificial immune algorithm
- security requirements
- rfid tags
- lightweight
- data management
- multi agent systems
- data streams
- information systems
- data mining