Security analysis of NFC relay attacks using probabilistic model checking.
Nikolaos AlexiouStylianos BasagiannisSophia G. PetridouPublished in: IWCMC (2014)
Keyphrases
- test suite
- security analysis
- model checker
- model checking
- security requirements
- smart card
- password guessing
- temporal logic
- public key
- security mechanisms
- automated verification
- symbolic model checking
- user authentication
- transition systems
- authentication protocol
- encryption scheme
- temporal properties
- formal verification
- software architecture
- authentication scheme
- epistemic logic
- bounded model checking
- data mining
- alternating time temporal logic
- timed automata
- verification method
- formal specification
- distributed systems
- multi agent systems