Publication Details

A Formal Approach to Network Security Analysis

Č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.
Czech title
Formální analýza síťové bezpečnosti
Type
technical report
Language
english
Authors
Čejka Rudolf, Ing. (CC FIT BUT)
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS FIT BUT)
Ráb Jaroslav, Ing. (DIFS FIT BUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT)
Švéda Miroslav, prof. Ing., CSc. (DIFS FIT BUT)
Keywords

network security analysis, bounded model checking, network modeling, SAT-based decision procedure

Abstract

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.

Published
2008
Pages
20
Publisher
Faculty of Information Technology BUT
Place
Brno, CZ
BibTeX 
@TECHREPORT{FITPUB8572,
   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 = "https://www.fit.vut.cz/research/publication/8572"
}
Files
Back to top