A Security Formal Verification Method for Protocols Using Cryptographic Contactless Smart Cards

A Security Formal Verification Method for Protocols Using Cryptographic Contactless Smart Cards

We present a method of contactless smart card protocol modeling suitable for finding vulnerabilities using model checking. Smart cards are used in applications that require high level of security, such as payment applications, therefore it should be ensured that the implementation does not contain an...

Full description

Bibliographic Details
Main Authors: M. Henzl, P. Hanacek
Format: Article
Language:English
Published: Spolecnost pro radioelektronicke inzenyrstvi 2016-04-01
Series:Radioengineering
Subjects:
Security
Smart Card
Model Checking
ASLan++
Formal Verification
Protocol
Online Access:http://www.radioeng.cz/fulltexts/2016/16_01_0132_0139.pdf

Internet

http://www.radioeng.cz/fulltexts/2016/16_01_0132_0139.pdf

Similar Items