Detail publikace

An Approach for Automated Network-Wide Security Analysis

ŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr a RÁB Jaroslav. An Approach for Automated Network-Wide Security Analysis. In: Proceedings of the Ninth International Conference on Networks ICN 2010. Les Menuires: IEEE Computer Society, 2010, s. 294-299. ISBN 978-0-7695-3979-9.
Název česky
Jeden přístup k automatizované analýze bezpečnosti počítačových sítí
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT)
Ráb Jaroslav, Ing. (UIFS FIT VUT)
URL
Abstrakt

Příspěvek pojednává o bezpečnostní analýze TCP/IP sítí nově vyvinutou metodou, která vychází z modelu topologie sítě s měnícími se stavy linek a využívá omezený model checking podporovaný rozhodovací procedurou implementovanou SAT solverem.

Rok
2010
Strany
294-299
Sborník
Proceedings of the Ninth International Conference on Networks ICN 2010
Konference
The Fifth International Conference on Systems/The Ninth International Conference on Networks, Menuires, FR
ISBN
978-0-7695-3979-9
Vydavatel
IEEE Computer Society
Místo
Les Menuires, FR
BibTeX 
@INPROCEEDINGS{FITPUB9191,
   author = "Miroslav \v{S}v\'{e}da and Ond\v{r}ej Ry\v{s}av\'{y} and Petr Matou\v{s}ek and Jaroslav R\'{a}b",
   title = "An Approach for Automated Network-Wide Security Analysis",
   pages = "294--299",
   booktitle = "Proceedings of the Ninth International Conference on Networks  ICN 2010",
   year = 2010,
   location = "Les Menuires, FR",
   publisher = "IEEE Computer Society",
   ISBN = "978-0-7695-3979-9",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9191"
}
Soubory
Nahoru