Publication Details

Tracing Authentication Protocols Behavior: A Case Study

OČENÁŠEK, P.; TRCHALÍK, R. 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. p. 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)
Trchalík Roman, Mgr., Ph.D. (CM-SFE)
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
ISBN
80-214-3287-X
Publisher
Faculty of Information Technology BUT
Place
Mikulov
BibTeX 
@inproceedings{BUT22222,
  author="Pavel {Očenášek} and Roman {Trchalík}",
  title="Tracing Authentication Protocols Behavior: A Case Study",
  booktitle="MEMICS 2006 Second Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2006",
  pages="166--173",
  publisher="Faculty of Information Technology BUT",
  address="Mikulov",
  isbn="80-214-3287-X"
}
Back to top