Detail publikace

Regression Based Logic for Authentication Protocol Design

OČENÁŠEK, P.; HRANÁČ, J. Regression Based Logic for Authentication Protocol Design. 2010 International Conference on Communication and Vehicular Technology. Chengdu: Institute of Electrical and Electronics Engineers, 2010. p. 89-92. ISBN: 978-1-4244-9674-7.
Název česky
Logika pro autentizační protokoly založená na regresních technikách
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (FIT)
Hranáč Jakub, Ing.
Klíčová slova

security protocol, verification, design, automation

Abstrakt

Tento článek popisuje jednu z možných implementací přístupu prezentovaného v článku z roku 1998, jehož autory jsou L. Buttyán, S. Staamann a U. Wilhelm. Uvedený článek představuje logiku založenou na regresních technikách. Náš článek pak prezentuje automatizaci uvedené techniky s vybranými rozšířeními.

Rok
2010
Strany
89–92
Sborník
2010 International Conference on Communication and Vehicular Technology
ISBN
978-1-4244-9674-7
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
Chengdu
BibTeX 
@inproceedings{BUT34905,
  author="Pavel {Očenášek} and Jakub {Hranáč}",
  title="Regression Based Logic for Authentication Protocol Design",
  booktitle="2010 International Conference on Communication and Vehicular Technology",
  year="2010",
  pages="89--92",
  publisher="Institute of Electrical and Electronics Engineers",
  address="Chengdu",
  isbn="978-1-4244-9674-7"
}
Nahoru