Detail publikace

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

HENZL Martin a HANÁČEK Petr. A Security Formal Verification Method for Protocols Using Cryptographic Contactless Smart Cards. Radioengineering, roč. 2016, č. 1, s. 132-139. ISSN 1210-2512.
Název česky
Metoda formální verifikace pro bezpečnost protokolů používajících kryptografické bezkontaktní čipové karty
Typ
článek v časopise
Jazyk
angličtina
Autoři
Henzl Martin, Ing. Mgr. (UITS FIT VUT)
Hanáček Petr, doc. Dr. Ing. (UITS FIT VUT)
Abstrakt

Představujeme metodu modelování bezkontaktních čipových karet vhodnou pro hledání zranitelností pomocí model checkingu. Čipové karty se používají v aplikacích, které vyžadují vysokou úroveň bezpečnosti, jako např. platební systémy, takže by mělo být zajištěno, aby implementace neobsahovala žádné zranitelnosti. Specifikace aplikace na vysoké úrovni abstrakce může vést k různým implementacím. Protokol, který je prokazatelně bezpečný na vysoké úrovni abstrakce a který používá bezpečnou čipovou kartu, může být implementován více než jedním způsobem; některé takové implementace jsou bezpečné, některé přinášejí do aplikace zranitelnosti. Cílem této publikace je poskytnout metodu, která může být použita pro pro vytvoření modelu libovolné čipové karty, se zaměřením na bezkontaktní čipové karty, pro vytvoření modelu protokolu a pro použití model checkingu k hledání útoků v takovém modelu. Pro formální verifikaci byl použit násroj AVANTSSAR, modely jsou psány v jazyce ASLan++. Příklady demonstrují použitelnost navrhované metody.

Rok
2016
Strany
132-139
Časopis
Radioengineering, roč. 2016, č. 1, ISSN 1210-2512
Kniha
Radioengineering
UT WoS
000373749300018
EID Scopus
2-s2.0-84964577779
BibTeX 
@ARTICLE{FITPUB11098,
   author = "Martin Henzl and Petr Han\'{a}\v{c}ek",
   title = "A Security Formal Verification Method for Protocols Using Cryptographic Contactless Smart Cards",
   pages = "132--139",
   booktitle = "Radioengineering",
   journal = "Radioengineering",
   volume = 2016,
   number = 1,
   year = 2016,
   ISSN = "1210-2512",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11098"
}
Nahoru