Článek ve sborníku konference

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.
Jazyk publikace:angličtina
Název publikace:Regression Based Logic for Authentication Protocol Design
Název (cs):Logika pro autentizační protokoly založená na regresních technikách
Strany:89-92
Sborník:2010 International Conference on Communication and Vehicular Technology
Konference:ICCVT 2010
Místo vydání:Chengdu, CN
Rok:2010
ISBN:978-1-4244-9674-7
Vydavatel:Institute of Electrical and Electronics Engineers
Klíčová slova
security protocol, verification, design, automation
Anotace
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.
BibTeX:
@INPROCEEDINGS{
   author = {Pavel Očenášek and Jakub Hranáč},
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=9419}
}

Vaše IPv4 adresa: 107.21.67.191
Přepnout na IPv6 spojení

DNSSEC [dnssec]