Detail publikačního výsledku

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

ŠVÉDA, M.; VRBA, R.

Originální název

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

Anglický název

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

Druh

Stať ve sborníku mimo WoS a Scopus

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.

Anglický 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

Klíčová slova v angličtině

Cyber-physical system, security analysis, IP networks

Autoři

ŠVÉDA, M.; VRBA, R.

Rok RIV

2014

Vydáno

09.09.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"
}