Detail publikace

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

HENZL, M.; HANÁČEK, P. A Security Formal Verification Method for Protocols Using Cryptographic Contactless Smart Cards. Radioengineering, 2016, vol. 2016, no. 1, p. 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
anglicky
Autoři
Henzl Martin, Ing. Mgr., Ph.D.
Hanáček Petr, doc. Dr. Ing. (UITS)
Klíčová slova

Security, Smart Card, Model Checking, ASLan++, Formal Verification, Protocol

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{BUT130946,
  author="Martin {Henzl} and Petr {Hanáček}",
  title="A Security Formal Verification Method for Protocols Using Cryptographic Contactless Smart Cards",
  journal="Radioengineering",
  year="2016",
  volume="2016",
  number="1",
  pages="132--139",
  issn="1210-2512"
}
Nahoru