Detail publikačního výsledku

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

Anglický název

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

Druh

Stať ve sborníku mimo WoS a Scopus

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.

Anglický 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

Klíčová slova v angličtině

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

2012

Vydáno

26.07.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

Plný text v Digitální knihovně

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"
}