| Čejka, R., Matoušek, P., Ráb, J., Ryšavý, O., Švéda, M.: A Formal Approach to Network Security Analysis, Brno, CZ, FIT VUT, 2008, p. 20 | | 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: | |
|---|
|
| | 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 Čejka and Petr Matoušek and Jaroslav Ráb and Ondřej
Ryšavý and Miroslav Švé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}
} |
|
Faculty of Information Technology