Detail publikace

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

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

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.

Klíčová slova

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

Autoři

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

Rok RIV

2011

Vydáno

2. 3. 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

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