Formal verification logic for hybrid security protocols.
Thomas NeweTom CoffeyPublished in: Comput. Syst. Sci. Eng. (2003)
Keyphrases
- formal verification
- security protocols
- model checker
- bounded model checking
- model checking
- automated design
- cryptographic protocols
- security services
- automated verification
- cryptographic algorithms
- symbolic model checking
- key management
- security properties
- artificial immune algorithm
- security mechanisms
- secure communication
- linear temporal logic
- security requirements
- artificial intelligence
- automated reasoning
- rfid tags
- temporal logic
- low cost
- object oriented