Publication detail

Routing Functionality in the Logic Approach for Authentication Protocol Design

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

Original Title

Routing Functionality in the Logic Approach for Authentication Protocol Design

Type

article in a collection out of WoS and Scopus

Language

English

Original 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.

Keywords

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

Authors

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

RIV year

2011

Released

2. 3. 2011

Publisher

Springer Verlag

Location

Berlin Heidelberg

ISBN

978-3-642-21792-0

Book

Human Interface and the Management of Information. Interacting with Information

Edition

Lecture Notes in Computer Science

Pages from

366

Pages to

373

Pages count

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