Detail publikace

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

ŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr, RÁB Jaroslav a ČEJKA Rudolf. SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties. In: Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010. Athens: Institute for Systems and Technologies of Information, Control and Communication, 2010, s. 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
angličtina
Autoři
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
Konference
International Conference on Data Communication Networking + International Conference on Software and Data Technologies 2010, Athens, GR
ISBN
978-989-8425-25-6
Vydavatel
Institute for Systems and Technologies of Information, Control and Communication
Místo
Athens, GR
BibTeX
@INPROCEEDINGS{FITPUB9266,
   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 and Rudolf \v{C}ejka",
   title = "SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties",
   pages = "5--11",
   booktitle = "Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010",
   year = 2010,
   location = "Athens, GR",
   publisher = "Institute for Systems and Technologies of Information, Control and Communication",
   ISBN = "978-989-8425-25-6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9266"
}
Nahoru