Detail publikace

SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties

ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P.; RÁB, J.; ČEJKA, R. SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties. Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010. Athens: Institute for Systems and Technologies of Information, Control and Communication, 2010. p. 5-11. ISBN: 978-989-8425-25-6.
Název česky
Bezpečnostní analýza TCP/IP sítí -- Přístup k automatické analýze bezpečnostních vlastností 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.
Čejka Rudolf, Ing. (CVT)
Klíčová slova

Intranet topology, dynamic routing, state-based reachability, security, bounded model checking, SAT

Abstrakt

Příspěvek pojednává o vyvinuté metodě vycházející z formálního modelu síťové topologie s měnícími se stavy linek a využívající  bounded model checking bezpečnostních vlastností sítě podporované rozhodovací procedurou SAT.

Rok
2010
Strany
5–11
Sborník
Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010
ISBN
978-989-8425-25-6
Vydavatel
Institute for Systems and Technologies of Information, Control and Communication
Místo
Athens
BibTeX 
@inproceedings{BUT34845,
  author="Miroslav {Švéda} and Ondřej {Ryšavý} and Petr {Matoušek} and Jaroslav {Ráb} and Rudolf {Čejka}",
  title="SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties",
  booktitle="Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010",
  year="2010",
  pages="5--11",
  publisher="Institute for Systems and Technologies of Information, Control and Communication",
  address="Athens",
  isbn="978-989-8425-25-6"
}
Nahoru