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
Place:Brno, CZ
Publisher:Faculty of Information Technology BUT
+Type Name Title Size Last modified
iconmatousek_08_formalapproach.pdf276 KB2008-05-05 10:18:08
^ Select all
With selected:
network security analysis, bounded model checking, network modeling, SAT-based decision procedure
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.
   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 = {}

Your IPv4 address:
Switch to https