Technical report

ČEJKA Rudolf, MATOUŠEK Petr, RÁB Jaroslav, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. A Formal Approach to Network Security Analysis. Brno: Faculty of Information Technology BUT, 2008.
Publication language:english
Original title:A Formal Approach to Network Security Analysis
Title (cs):Formální analýza síťové bezpečnosti
Pages:20
Place:Brno, CZ
Year:2008
Publisher:Faculty of Information Technology BUT
Files: 
+Type Name Title Size Last modified
iconmatousek_08_formalapproach.pdf276 KB2008-05-05 10:18:08
^ Select all
With selected:
Keywords
network security analysis, bounded model checking, network modeling, 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 consists of a set of tools that provide automatic analysis of router configurations, network topologies, and states with respect to checked properties. While the paper aims at supporting a real practice, its form strives to be exact enough to explain the principles of the method in detail.
BibTeX:
@TECHREPORT{
   author = {Rudolf {\v{C}}ejka and Petr Matou{\v{s}}ek and Jaroslav
	R{\'{a}}b and Ond{\v{r}}ej Ry{\v{s}}av{\'{y}} and Miroslav
	{\v{S}}v{\'{e}}da},
   title = {A Formal Approach to Network Security Analysis},
   pages = {20},
   year = {2008},
   location = {Brno, CZ},
   publisher = {Faculty of Information Technology BUT},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8572}
}

Your IPv4 address: 54.166.82.161
Switch to IPv6 connection

DNSSEC [dnssec]