Formal security analysis of near field communication using model checking.
Nikolaos AlexiouStylianos BasagiannisSophia G. PetridouPublished in: Comput. Secur. (2016)
Keyphrases
- model checking
- security analysis
- formal specification
- formal methods
- temporal logic
- reactive systems
- ctl model update
- smart card
- security requirements
- public key
- model checker
- temporal properties
- formal verification
- automated verification
- transition systems
- timed automata
- computation tree logic
- user authentication
- symbolic model checking
- verification method
- bounded model checking
- information sharing
- epistemic logic
- low cost
- minimal change
- information systems
- communication networks