Conference paper

OČENÁŠEK Pavel and HRANÁČ Jakub. Routing Functionality in the Logic Approach for Authentication Protocol Design. In: Human Interface and the Management of Information. Interacting with Information. Berlin Heidelberg: Springer Verlag, 2011, pp. 366-373. ISBN 978-3-642-21792-0.
Publication language:english
Original title:Routing Functionality in the Logic Approach for Authentication Protocol Design
Title (cs):Přístup pro návrh autentizačních protokolů založený na logikách s podporou směrování
Pages:366-373
Proceedings:Human Interface and the Management of Information. Interacting with Information
Conference:HCII 2011
Series:LNCS 6771
Place:Berlin Heidelberg, DE
Year:2011
ISBN:978-3-642-21792-0
Publisher:Springer Verlag
Keywords
Logic, Authentication, Key Distribution, Security Protocol,
Routing.
Annotation
This paper describes one of possible implementations of method used for protocol design described in a paper from 1998 by L. Buttyán, S. Staamann and U. Wilhelm which proposes a backward search (regression) when synthesizing an authentication protocol. Furthermore, the approach presented in this paper allows a designer to define participants who are trustworthy enough to transfer information between other two participants without existence of a direct channel to achieve basic routing functionality.
BibTeX:
@INPROCEEDINGS{
   author = {Pavel O{\v{c}}en{\'{a}}{\v{s}}ek and Jakub
	Hran{\'{a}}{\v{c}}},
   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.en.iso-8859-2?id=9498}
}

Your IPv4 address: 54.166.150.10
Switch to IPv6 connection

DNSSEC [dnssec]