Detail publikace

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

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