Detail publikace

Routing Functionality in the Logic Approach for Authentication Protocol Design

Originální název

Routing Functionality in the Logic Approach for Authentication Protocol Design

Anglický název

Routing Functionality in the Logic Approach for Authentication Protocol Design

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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{BUT76281,
  author="Pavel {Očenášek} and Jakub {Hranáč}",
  title="Routing Functionality in the Logic Approach for Authentication Protocol Design",
  annote="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.",
  address="Springer Verlag",
  booktitle="Human Interface and the Management of Information. Interacting with Information",
  chapter="76281",
  edition="Lecture Notes in Computer Science",
  howpublished="print",
  institution="Springer Verlag",
  year="2011",
  month="march",
  pages="366--373",
  publisher="Springer Verlag",
  type="conference paper"
}