Detail publikace

Tracing Authentication Protocols Behavior: A Case Study

OČENÁŠEK Pavel a TRCHALÍK Roman. Tracing Authentication Protocols Behavior: A Case Study. In: MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Mikulov: Fakulta informačních technologií VUT v Brně, 2006, s. 166-173. ISBN 80-214-3287-X.
Název česky
Trasování chování autentizačních protokolů: případová studie
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D. (UIFS FIT VUT)
Trchalík Roman, Mgr., Ph.D. (UIFS FIT VUT)
URL
Abstrakt

Článek se zabývá trasováním chování autentizačních protokolů.

Rok
2006
Strany
166-173
Sborník
MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Konference
2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- MEMICS'06, Mikulov, CZ
ISBN
80-214-3287-X
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
Mikulov, CZ
BibTeX 
@INPROCEEDINGS{FITPUB8140,
   author = "Pavel O\v{c}en\'{a}\v{s}ek and Roman Trchal\'{i}k",
   title = "Tracing Authentication Protocols Behavior: A Case Study",
   pages = "166--173",
   booktitle = "MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
   year = 2006,
   location = "Mikulov, CZ",
   publisher = "Faculty of Information Technology BUT",
   ISBN = "80-214-3287-X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8140"
}
Nahoru