Publication result 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

English Title

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

Type

Paper in proceedings outside WoS and Scopus

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.

English 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

Key words in English

Cyber-physical system, security analysis, IP networks

Authors

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

RIV year

2014

Released

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