Security Analysis of RFID Authentication for Pervasive Systems using Model Checking.
Hyun Seok KimJeong-Hyun OhJin-Young ChoiPublished in: COMPSAC (2) (2006)
Keyphrases
- security analysis
- model checking
- mutual authentication
- automated verification
- temporal logic
- formal methods
- authentication protocol
- asynchronous circuits
- reactive systems
- user authentication
- public key
- smart card
- formal specification
- security requirements
- authentication scheme
- formal verification
- verification method
- high security
- encryption scheme
- elliptic curve cryptography
- model checker
- epistemic logic
- symbolic model checking
- supply chain
- transition systems
- timed automata
- computation tree logic
- temporal properties
- private key
- low cost
- rfid systems
- rfid tags
- bounded model checking
- modal logic
- software engineering