Publication Details

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

ŠVÉDA, M.; VRBA, R. Cyber-Physical Systems Networking with TCP/IP -- A Security Application Approach. IEEE Proceedings AFRICON 2013. New York: Institute of Electrical and Electronics Engineers, 2013. p. 101-106. ISBN: 978-1-4673-5943-6.

Czech title

Propojení kyberneticko-fyzikálních systémů sítěmi s TCP/IP -- Přístup k bezpečnostní aplikaci

Type

conference paper

Language

English

Authors

Švéda Miroslav, prof. Ing., CSc. (UTKO)
Vrba Radimír, prof. Ing., CSc. (CEITEC VUT)

Keywords

Cyber-physical system, security analysis, IP networks

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.

Published

2013

Pages

101–106

Proceedings

IEEE Proceedings AFRICON 2013

Conference

IEEE AFRICON 2013 Conference, Mauritius, MU

ISBN

978-1-4673-5943-6

Publisher

Institute of Electrical and Electronics Engineers

Place

New York

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