Publication detail

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

ŠVÉDA, M. VRBA, R.

Original Title

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

Type

article in a collection out of WoS and Scopus

Language

English

Original 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.

Keywords

Cyber-physical system, security analysis, IP networks

Authors

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

RIV year

2013

Released

9. 9. 2013

Publisher

Institute of Electrical and Electronics Engineers

Location

New York

ISBN

978-1-4673-5943-6

Book

IEEE Proceedings AFRICON 2013

Pages from

101

Pages to

106

Pages count

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