Detail publikace

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

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

Jazyk

en

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.

BibTex


@inproceedings{BUT103502,
  author="Miroslav {Švéda} and Radimír {Vrba}",
  title="Cyber-Physical Systems Networking with TCP/IP -- A Security Application Approach",
  annote="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.",
  address="Institute of Electrical and Electronics Engineers",
  booktitle="IEEE Proceedings AFRICON 2013",
  chapter="103502",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Institute of Electrical and Electronics Engineers",
  year="2013",
  month="september",
  pages="101--106",
  publisher="Institute of Electrical and Electronics Engineers",
  type="conference paper"
}