Detail publikace

A Formal Approach to Network Security Analysis

ČEJKA Rudolf, MATOUŠEK Petr, RÁB Jaroslav, RYŠAVÝ Ondřej a ŠVÉDA Miroslav. A Formal Approach to Network Security Analysis. Brno: Fakulta informačních technologií VUT v Brně, 2008.
Název česky
Formální analýza síťové bezpečnosti
Typ
technická zpráva
Jazyk
angličtina
Autoři
Čejka Rudolf, Ing. (CVT FIT VUT)
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT)
Ráb Jaroslav, Ing. (UIFS FIT VUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Rok
2008
Strany
20
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX 
@TECHREPORT{FITPUB8572,
   author = "Rudolf \v{C}ejka and Petr Matou\v{s}ek and Jaroslav R\'{a}b and Ond\v{r}ej Ry\v{s}av\'{y} and Miroslav \v{S}v\'{e}da",
   title = "A Formal Approach to Network Security Analysis",
   pages = 20,
   year = 2008,
   location = "Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8572"
}
Soubory
Nahoru