Publication Details

Routing Functionality in the Logic Approach for Authentication Protocol Design

OČENÁŠEK, P.; HRANÁČ, J. Routing Functionality in the Logic Approach for Authentication Protocol Design. Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science. Berlin Heidelberg: Springer Verlag, 2011. p. 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)
Hranáč Jakub, Ing.
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
BibTeX 
@inproceedings{BUT76281,
  author="Pavel {Očenášek} and Jakub {Hranáč}",
  title="Routing Functionality in the Logic Approach for Authentication Protocol Design",
  booktitle="Human Interface and the Management of Information. Interacting with Information",
  year="2011",
  series="Lecture Notes in Computer Science",
  volume="6771",
  pages="366--373",
  publisher="Springer Verlag",
  address="Berlin Heidelberg",
  isbn="978-3-642-21792-0"
}
Back to top