Detail publikace

Regression Based Logic for Authentication Protocol Design

OČENÁŠEK Pavel a HRANÁČ Jakub. Regression Based Logic for Authentication Protocol Design. In: 2010 International Conference on Communication and Vehicular Technology. Chengdu: Institute of Electrical and Electronics Engineers, 2010, s. 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
angličtina
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT)
Hranáč Jakub, Ing. (FIT VUT)
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
Konference
ICCVT 2010, Hanoi, VN
ISBN
978-1-4244-9674-7
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
Chengdu, CN
BibTeX
@INPROCEEDINGS{FITPUB9419,
   author = "Pavel O\v{c}en\'{a}\v{s}ek and Jakub Hran\'{a}\v{c}",
   title = "Regression Based Logic for Authentication Protocol Design",
   pages = "89--92",
   booktitle = "2010 International Conference on Communication and Vehicular Technology",
   year = 2010,
   location = "Chengdu, CN",
   publisher = "Institute of Electrical and Electronics Engineers",
   ISBN = "978-1-4244-9674-7",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9419"
}
Nahoru