Publication Details

Tracing Authentication Protocols Behavior: A Case Study

OČENÁŠEK Pavel and 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: Faculty of Information Technology BUT, 2006, pp. 166-173. ISBN 80-214-3287-X.
Czech title
Trasování chování autentizačních protokolů: případová studie
Type
conference paper
Language
english
Authors
Očenášek Pavel, Mgr. Ing., Ph.D. (DIFS FIT BUT)
Trchalík Roman, Mgr., Ph.D. (DIFS FIT BUT)
URL
Keywords

authentication protocol

Abstract

The paper deals with tracing authentication protocols behaviour.

Published
2006
Pages
166-173
Proceedings
MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Conference
2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science -- MEMICS'06, Mikulov, CZ
ISBN
80-214-3287-X
Publisher
Faculty of Information Technology BUT
Place
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"
}
Back to top