Formal verification of IFF and NSLPK authentication protocols with CiMPG (S).
Thet Wai MonShuho FujiiDuong Dinh TranKazuhiro OgataPublished in: SEKE (2021)
Keyphrases
- formal verification
- authentication protocol
- model checking
- smart card
- security analysis
- lightweight
- public key
- cryptographic protocols
- security protocols
- secret key
- bounded model checking
- model checker
- symbolic model checking
- rfid tags
- program slicing
- hash functions
- ban logic
- real time
- temporal logic
- rfid systems
- automated verification