Publication Details

Routing Functionality in the Logic Approach for Authentication Protocol Design

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. Lecture Notes in Computer Science, vol. 6771. Berlin Heidelberg: Springer Verlag, 2011, pp. 366-373. ISBN 978-3-642-21792-0.
Czech title
Přístup pro návrh autentizačních protokolů založený na logikách s podporou směrování
Type
conference paper
Language
english
Authors
Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS FIT BUT)
Hranáč Jakub, Ing. (FIT BUT)
Keywords

Logic, Authentication, Key Distribution, Security Protocol,
Routing.

Abstract

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.

Published
2011
Pages
366-373
Proceedings
Human Interface and the Management of Information. Interacting with Information
Series
Lecture Notes in Computer Science
Volume
6771
Conference
HCII 2011, Orlando, US
ISBN
978-3-642-21792-0
Publisher
Springer Verlag
Place
Berlin Heidelberg, DE
BibTeX
@INPROCEEDINGS{FITPUB9498,
   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 = "Lecture Notes in Computer Science",
   volume = 6771,
   year = 2011,
   location = "Berlin Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-642-21792-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9498"
}
Back to top