loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Miroslav Sveda ; Ondrej Rysavy ; Petr Matousek ; Jaroslav Rab and Rudolf Cejka

Affiliation: Brno University of Technology, Czech Republic

Keyword(s): Intranet Topology, Dynamic Routing, State-based Reachability, Security, Bounded Model Checking, SAT.

Related Ontology Subjects/Areas/Topics: Data Communication Networking ; Fault Detection and Management ; Internet Technologies ; Network Monitoring and Control ; Routing and Flow Control in Lans, Wans and Pans ; Sensor Networks ; Signal Processing ; Telecommunications

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

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.222.116.199

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Sveda, M.; Rysavy, O.; Matousek, P.; Rab, J. and Cejka, R. (2010). SECURITY ANALYSIS OF TCP/IP NETWORKS - An Approach to Automatic Analysis of Network Security Properties. In Proceedings of the International Conference on Data Communication Networking and Optical Communication Systems (ICETE 2010) - DCNET; ISBN 978-989-8425-25-6, SciTePress, pages 5-11. DOI: 10.5220/0002838300050011

@conference{dcnet10,
author={Miroslav Sveda. and Ondrej Rysavy. and Petr Matousek. and Jaroslav Rab. and Rudolf Cejka.},
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 and Optical Communication Systems (ICETE 2010) - DCNET},
year={2010},
pages={5-11},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002838300050011},
isbn={978-989-8425-25-6},
}

TY - CONF

JO - Proceedings of the International Conference on Data Communication Networking and Optical Communication Systems (ICETE 2010) - DCNET
TI - SECURITY ANALYSIS OF TCP/IP NETWORKS - An Approach to Automatic Analysis of Network Security Properties
SN - 978-989-8425-25-6
AU - Sveda, M.
AU - Rysavy, O.
AU - Matousek, P.
AU - Rab, J.
AU - Cejka, R.
PY - 2010
SP - 5
EP - 11
DO - 10.5220/0002838300050011
PB - SciTePress