Detail publikačního výsledku

Routing Functionality in the Logic Approach for Authentication Protocol Design

OČENÁŠEK, P.; HRANÁČ, J.

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

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

This paper describes one of possible implementations of method usedfor protocol design described in a paper from 1998 by L. Buttyán, S. Staamannand U. Wilhelm which proposes a backward search (regression) whensynthesizing an authentication protocol. Furthermore, the approach presented inthis paper allows a designer to define participants who are trustworthy enoughto transfer information between other two participants without existence of adirect channel to achieve basic routing functionality.

Anglický abstrakt

This paper describes one of possible implementations of method usedfor protocol design described in a paper from 1998 by L. Buttyán, S. Staamannand U. Wilhelm which proposes a backward search (regression) whensynthesizing an authentication protocol. Furthermore, the approach presented inthis paper allows a designer to define participants who are trustworthy enoughto transfer information between other two participants without existence of adirect channel to achieve basic routing functionality.

Klíčová slova

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

Klíčová slova v angličtině

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

Autoři

OČENÁŠEK, P.; HRANÁČ, J.

Rok RIV

2012

Vydáno

02.03.2011

Nakladatel

Springer Verlag

Místo

Berlin Heidelberg

ISBN

978-3-642-21792-0

Kniha

Human Interface and the Management of Information. Interacting with Information

Edice

Lecture Notes in Computer Science

Svazek

6771

Strany od

366

Strany do

373

Strany počet

8

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"
}