Modal tableaux for verifying stream authentication protocols.
Mehmet A. OrgunGuido GovernatoriChuchang LiuPublished in: Auton. Agents Multi Agent Syst. (2009)
Keyphrases
- authentication protocol
- modal logic
- smart card
- temporal logic
- security analysis
- model checking
- lightweight
- data streams
- secret key
- public key
- security protocols
- rfid tags
- real time
- ban logic
- security requirements
- rfid systems
- hash functions
- functional dependencies
- wireless networks
- low cost
- similarity measure
- cryptographic protocols
- data sets