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
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" }