Cyber-physical systems networking with TCP/IP: A security application approach

Author

Sveda, Miroslav ; Vrba, Radimir

Author_Institution

Fac. of Inf. Technol., Brno Univ. of Technol., Brno, Czech Republic

fYear

2013

fDate

9-12 Sept. 2013

Firstpage

1

Lastpage

5

Abstract

This paper deals with an approach to security analysis of IP-based computer networks for cyber-physical applications. 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.

Keywords

IP networks; computability; computer network security; formal verification; telecommunication links; telecommunication network routing; telecommunication network topology; transport protocols; IP-based computer network; SAT-based decision procedure; TCP/IP; bounded model checking; changing link states; cyber-physical application; cyber-physical systems networking; formal model; network security properties; network topology; router configuration; security analysis; security application; Computational modeling; Conferences; IP networks; Model checking; Network topology; Safety; Security; IP networking; cyber-physical system; safety requirements; security;

fLanguage

English

Publisher

ieee

Conference_Titel

AFRICON, 2013

Conference_Location

Pointe-Aux-Piments

ISSN

2153-0025

Print_ISBN

978-1-4673-5940-5

Type

conf

DOI

10.1109/AFRCON.2013.6757652

Filename

6757652