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
angličtina
Autoři
Očenášek Pavel, Mgr. Ing., Ph.D., FIT (FIT), UIFS (FIT)
Říha Tomáš, Bc., FIT (FIT)
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ý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