Detail publikace

Routing Functionality in the Logic Approach for Authentication Protocol Design

OČENÁŠEK Pavel a HRANÁČ Jakub. Routing Functionality in the Logic Approach for Authentication Protocol Design. In: Human Interface and the Management of Information. Interacting with Information. Lecture Notes in Computer Science, roč. 6771. Berlin Heidelberg: Springer Verlag, 2011, s. 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
angličtina
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT)
Hranáč Jakub, Ing. (FIT VUT)
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
Konference
HCII 2011, Orlando, US
ISBN
978-3-642-21792-0
Vydavatel
Springer Verlag
Místo
Berlin Heidelberg, DE
BibTeX
@INPROCEEDINGS{FITPUB9498,
   author = "Pavel O\v{c}en\'{a}\v{s}ek and Jakub Hran\'{a}\v{c}",
   title = "Routing Functionality in the Logic Approach for Authentication Protocol Design",
   pages = "366--373",
   booktitle = "Human Interface and the Management of Information. Interacting with Information",
   series = "Lecture Notes in Computer Science",
   volume = 6771,
   year = 2011,
   location = "Berlin Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-642-21792-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9498"
}
Nahoru