Detail publikace

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.
Název česky
Přístup pro návrh autentizačních protokolů založený na logikách s podporou směrování
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (FIT)
Hranáč Jakub, Ing.
Klíčová slova

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

Abstrakt

Tento článek se zabývá jednou z možných implementací metody používané pro návrh protokolů prezentovaných v článku z roku 1998 autorů L. Buttyán, S. Staamann and U. Wilhelm, který prezentuje regresní přístup k návrhu protokolů.

Rok
2011
Strany
366–373
Sborník
Human Interface and the Management of Information. Interacting with Information
Řada
Lecture Notes in Computer Science
Svazek
6771
ISBN
978-3-642-21792-0
Vydavatel
Springer Verlag
Místo
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"
}
Nahoru