Detail výsledku
Review and Application of a Tool for Protocol Verification
OČENÁŠEK, P.; ŘÍHA, T. Review and Application of a Tool for Protocol Verification. Brno: 2009. p. 1-5.
Typ
různé
Jazyk
anglicky
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D., UIFS (FIT)
Říha Tomáš, Bc.
Říha Tomáš, Bc.
Rok
2009
Strany
1–5
Místo
Brno
BibTeX
@misc{BUT192683,
author="Pavel {Očenášek} and Tomáš {Říha}",
title="Review and Application of a Tool for Protocol Verification",
year="2009",
pages="1--5",
address="Brno",
note="Other unclassified results"
}
Projekty
Bezpečnost a zabezpečení aplikací sítí vestavěných systémů, GAČR, Standardní projekty, GA102/08/1429, zahájení: 2008-01-01, ukončení: 2010-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řeš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)