Detail publikace

An Approach for Automated Network-Wide Security Analysis

ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P.; RÁB, J. An Approach for Automated Network-Wide Security Analysis. Proceedings of the Ninth International Conference on Networks ICN 2010. Les Menuires: IEEE Computer Society, 2010. p. 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
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS)
Ráb Jaroslav, Ing.
URL
Klíčová slova

TCP/IP networks; changing network topology; network security analysis; bounded model-checking; SAT-based decision procedure

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
ISBN
978-0-7695-3979-9
Vydavatel
IEEE Computer Society
Místo
Les Menuires
BibTeX 
@inproceedings{BUT34733,
  author="Miroslav {Švéda} and Ondřej {Ryšavý} and Petr {Matoušek} and Jaroslav {Ráb}",
  title="An Approach for Automated Network-Wide Security Analysis",
  booktitle="Proceedings of the Ninth International Conference on Networks  ICN 2010",
  year="2010",
  pages="294--299",
  publisher="IEEE Computer Society",
  address="Les Menuires",
  isbn="978-0-7695-3979-9",
  url="https://www.fit.vut.cz/research/publication/9191/"
}
Nahoru