Článek ve sborníku konference

 
Očenášek, P., Hranáč, J.: Regression Based Logic for Authentication Protocol Design, In: 2010 International Conference on Communication and Vehicular Technology, Chengdu, CN, IEEE, 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?id=9419}
}