Detail publikace

SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties

ŠVÉDA, M. RYŠAVÝ, O. MATOUŠEK, P. RÁB, J. ČEJKA, R.

Originální název

SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

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 more detail.

Klíčová slova

Intranet topology, dynamic routing, state-based reachability, security, bounded model checking, SAT

Autoři

ŠVÉDA, M.; RYŠAVÝ, O.; MATOUŠEK, P.; RÁB, J.; ČEJKA, R.

Rok RIV

2010

Vydáno

26. 7. 2010

Nakladatel

Institute for Systems and Technologies of Information, Control and Communication

Místo

Athens

ISBN

978-989-8425-25-6

Kniha

Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010

Strany od

5

Strany do

11

Strany počet

7

BibTex

@inproceedings{BUT34845,
  author="Miroslav {Švéda} and Ondřej {Ryšavý} and Petr {Matoušek} and Jaroslav {Ráb} and Rudolf {Čejka}",
  title="SECURITY ANALYSIS OF TCP/IP NETWORKS -- An Approach to Automatic Analysis of Network Security Properties",
  booktitle="Proceedings of the International Conference on Data Communication Networking ICETE-DCNET 2010",
  year="2010",
  pages="5--11",
  publisher="Institute for Systems and Technologies of Information, Control and Communication",
  address="Athens",
  isbn="978-989-8425-25-6"
}