Automated Verification of Timed Security Protocols with Clock Drift.
Li LiJun SunJin Song DongPublished in: FM (2016)
Keyphrases
- security protocols
- automated verification
- model checking
- automated reasoning
- formal verification
- automated design
- security services
- security properties
- power consumption
- artificial immune algorithm
- key management
- rfid tags
- security mechanisms
- theorem proving
- graph theory
- artificial intelligence
- cryptographic protocols
- sensor data
- knowledge representation
- information systems
- real time