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

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F13%3APU106362" target="_blank" >RIV/00216305:26230/13:PU106362 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

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

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2013

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

IEEE Proceedings AFRICON 2013

ISBN

978-1-4673-5943-6

ISSN

—

e-ISSN

—

Number of pages

6

Pages from-to

101-106

Publisher name

Institute of Electrical and Electronics Engineers

Place of publication

New York

Event location

Mauritius

Event date

Sep 9, 2013

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—