Communication Space Reduction for Formal Verification of Secure Authentication Protocols.
Kyoil KimJacob A. AbrahamPublished in: WECWIS (2001)
Keyphrases
- formal verification
- authentication protocol
- space reduction
- cryptographic protocols
- model checking
- security analysis
- smart card
- security protocols
- key distribution
- lightweight
- public key
- secure communication
- bounded model checking
- automated verification
- model checker
- rfid tags
- principal component analysis
- group communication
- session key
- feature space
- rfid systems
- temporal logic
- resource constrained
- symbolic model checking
- ban logic
- multi party
- knn
- secret key
- security properties
- hash functions
- information sharing
- low cost
- face recognition