loading
Documents

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

ISBN: 978-989-8425-25-6

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.

PDF ImageFull Text

Download
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 18.206.194.83

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.; Cejka R. and (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 - Volume 1: DCNET, (ICETE 2010) ISBN 978-989-8425-25-6, 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 - Volume 1: DCNET, (ICETE 2010)},
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 - Volume 1: DCNET, (ICETE 2010)
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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.