Conference paper

ŠVÉDA Miroslav and VRBA Radimír. Cyber-Physical Systems Networking with TCP/IP -- A Security Application Approach. In: IEEE Proceedings AFRICON 2013. New York: Institute of Electrical and Electronics Engineers, 2013, pp. 101-106. ISBN 978-1-4673-5943-6.
Publication language:english
Original title:Cyber-Physical Systems Networking with TCP/IP -- A Security Application Approach
Title (cs):Propojení kyberneticko-fyzikálních systémů sítěmi s TCP/IP -- Přístup k bezpečnostní aplikaci
Proceedings:IEEE Proceedings AFRICON 2013
Conference:IEEE AFRICON 2013 Conference
Place:New York, US
Publisher:Institute of Electrical and Electronics Engineers
Cyber-physical system, security analysis, IP networks
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.
   author = {Miroslav {\v{S}}v{\'{e}}da and Radim{\'{i}}r Vrba},
   title = {Cyber-Physical Systems Networking with TCP/IP -- A Security
	Application Approach},
   pages = {101--106},
   booktitle = {IEEE Proceedings AFRICON 2013},
   year = {2013},
   location = {New York, US},
   publisher = {Institute of Electrical and Electronics Engineers},
   ISBN = {978-1-4673-5943-6},
   language = {english},
   url = {}

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]