Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
ŠVÉDA, M. VRBA, R.
Originální název
Cyber-Physical Systems Networking with TCP/IP -- A Security Application Approach
Typ
článek ve sborníku mimo WoS a Scopus
Jazyk
angličtina
Originální abstrakt
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.
Klíčová slova
Cyber-physical system, security analysis, IP networks
Autoři
ŠVÉDA, M.; VRBA, R.
Rok RIV
2013
Vydáno
9. 9. 2013
Nakladatel
Institute of Electrical and Electronics Engineers
Místo
New York
ISBN
978-1-4673-5943-6
Kniha
IEEE Proceedings AFRICON 2013
Strany od
101
Strany do
106
Strany počet
6
BibTex
@inproceedings{BUT103502, author="Miroslav {Švéda} and Radimír {Vrba}", title="Cyber-Physical Systems Networking with TCP/IP -- A Security Application Approach", booktitle="IEEE Proceedings AFRICON 2013", year="2013", pages="101--106", publisher="Institute of Electrical and Electronics Engineers", address="New York", isbn="978-1-4673-5943-6" }