Článek ve sborníku konference

 
Očenášek, P., Hranáč, J.: Routing Functionality in the Logic Approach for Authentication Protocol Design, In: Human Interface and the Management of Information. Interacting with Information, Berlin Heidelberg, DE, Springer, 2011, s. 366-373, ISBN 978-3-642-21792-0
Jazyk publikace:angličtina
Název publikace:Routing Functionality in the Logic Approach for Authentication Protocol Design
Název (cs):Přístup pro návrh autentizačních protokolů založený na logikách s podporou směrování
Strany:366-373
Sborník:Human Interface and the Management of Information. Interacting with Information
Konference:HCII 2011
Řada knih:LNCS 6771
Místo vydání:Berlin Heidelberg, DE
Rok:2011
ISBN:978-3-642-21792-0
Vydavatel:Springer Verlag
Klíčová slova
Logic, Authentication, Key Distribution, Security Protocol,
Routing.
Anotace
Tento článek se zabývá jednou z možných implementací metody používané pro návrh protokolů prezentovaných v článku z roku 1998 autorů L. Buttyán, S. Staamann and U. Wilhelm, který prezentuje regresní přístup k návrhu protokolů.
BibTeX:
@INPROCEEDINGS{
   author = {Pavel Očenášek and Jakub Hranáč},
   title = {Routing Functionality in the Logic Approach for
	Authentication Protocol Design},
   pages = {366--373},
   booktitle = {Human Interface and the Management of Information.
	Interacting with Information},
   series = {LNCS 6771},
   year = {2011},
   location = {Berlin Heidelberg, DE},
   publisher = {Springer Verlag},
   ISBN = {978-3-642-21792-0},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9498}
}