Publication Details

Cyber-Physical Systems Networking with TCP/IP -- A Security Application Approach

Š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.
Czech title
Propojení kyberneticko-fyzikálních systémů sítěmi s TCP/IP -- Přístup k bezpečnostní aplikaci
Type
conference paper
Language
english
Authors
Švéda Miroslav, prof. Ing., CSc. (DIFS FIT BUT)
Vrba Radimír, prof. Ing., CSc. (CEITEC BUT)
Keywords

Cyber-physical system, security analysis, IP networks

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.

Published
2013
Pages
101-106
Proceedings
IEEE Proceedings AFRICON 2013
Conference
IEEE AFRICON 2013 Conference, Mauritius, MU
ISBN
978-1-4673-5943-6
Publisher
Institute of Electrical and Electronics Engineers
Place
New York, US
BibTeX 
@INPROCEEDINGS{FITPUB10366,
   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 = "https://www.fit.vut.cz/research/publication/10366"
}
Back to top