Title :
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
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;
Conference_Titel :
AFRICON, 2013
Conference_Location :
Pointe-Aux-Piments
Print_ISBN :
978-1-4673-5940-5
DOI :
10.1109/AFRCON.2013.6757652
