Conference paper

ŠVÉDA Miroslav, RYŠAVÝ Ondřej, MATOUŠEK Petr and 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, pp. 294-299. ISBN 978-0-7695-3979-9.
Publication language:english
Original title:An Approach for Automated Network-Wide Security Analysis
Title (cs):Jeden přístup k automatizované analýze bezpečnosti počítačových sítí
Pages:294-299
Proceedings:Proceedings of the Ninth International Conference on Networks ICN 2010
Conference:The Fifth International Conference on Systems/The Ninth International Conference on Networks
Place:Les Menuires, FR
Year:2010
ISBN:978-0-7695-3979-9
Publisher:IEEE Computer Society
URL:http://www.computer.org/portal/web/csdl/doi/10.1109/ICN.2010.69 [HTML]
Files: 
+Type Name Title Size Last modified
icon3979a294.pdfAn Approach for Automated Network-Wide Security Analysis (PDF)278 KB2010-07-08 13:20:56
^ Select all
With selected:
Keywords
TCP/IP networks; changing network topology; network security analysis; bounded model-checking; SAT-based decision procedure
Annotation
This paper deals with an approach to security analysis of TCP/IP-based computer networks. The method developed stems from a formal model of network topology with changing link states, and deploys bounded model checking of network security properties supported by SAT-based decision procedure. Its implementation should consist of a set of tools that can provide automatic analysis of router configurations, network topologies, and states with respect to checked properties. While this project aims at supporting a real practice, it stems from the previous, more theoretical research designing the method in detail including its formal background.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=9191}
}

Your IPv4 address: 54.196.107.247
Switch to IPv6 connection

DNSSEC [dnssec]