Now showing items 1-1 of 1
A Security Formal Verification Method for Protocols Using Cryptographic Contactless Smart Cards
(Společnost pro radioelektronické inženýrství, 2016-04)
We present a method of contactless smart card protocol modeling suitable for ﬁnding vulnerabilities using model checking. Smart cards are used in applications that require high level of security, such as payment applications, ...