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
Pages:101-106
Proceedings:IEEE Proceedings AFRICON 2013
Conference:IEEE AFRICON 2013 Conference
Place:New York, US
Year:2013
ISBN:978-1-4673-5943-6
Publisher:Institute of Electrical and Electronics Engineers
Keywords
Cyber-physical system, security analysis, IP networks
Annotation
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.
BibTeX:
@INPROCEEDINGS{
   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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=10366}
}

Your IPv4 address: 54.159.145.68
Switch to IPv6 connection

DNSSEC [dnssec]