Detail výsledku

Tracing Authentication Protocols Behavior: A Case Study

OČENÁŠEK, P.; TRCHALÍK, R. Tracing Authentication Protocols Behavior: A Case Study. 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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D., UIFS (FIT)
Trchalík Roman, Mgr., Ph.D., UIFS (FIT)
Abstrakt

The paper deals with tracing authentication protocols behaviour.

Klíčová slova

authentication protocol

URL
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
ISBN
80-214-3287-X
Vydavatel
Faculty of Information Technology BUT
Místo
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",
  url="http://www.fit.vutbr.cz/events/memics06/index.php?page=abstracts&id=ocenasek"
}
Projekty
Architektury sítí pro vestavěné systémy, GAČR, Standardní projekty, GA102/05/0467, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Integrovaný přístup k výchově studentů DSP v oblasti paralelních a distribuovaných systémů, GAČR, Doktorské granty, GD102/05/H050, zahájení: 2005-01-01, ukončení: 2008-12-31, ukončen
Rámec pro formální specifikace a prototypování síťových aplikací informačních systémů, GAČR, Standardní projekty, GA102/05/0723, zahájení: 2005-01-01, ukončení: 2007-12-31, ukončen
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru