Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc., UIFS (FIT), UTKO (FEKT)
Vrba Radimír, prof. Ing., CSc., CEITEC VUT (CEITEC VUT), RG-2-02 (CEITEC VUT), UMEL (FEKT)
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.

Klíčová slova

Cyber-physical system, security analysis, IP networks

Rok
2013
Strany
101–106
Sborník
IEEE Proceedings AFRICON 2013
Konference
IEEE AFRICON 2013 Conference
ISBN
978-1-4673-5943-6
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
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"
}
Projekty
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
SCADA systém pro řízení a monitorování procesů v reálném čase, TAČR, Program aplikovaného výzkumu a experimentálního vývoje ALFA, TA01010632, zahájení: 2011-01-01, ukončení: 2013-12-31, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
NES@FIT - Výzkumná skupina počítačové sítě (VZ NES@FIT)
Pracoviště
Ústav mikroelektroniky (UMEL)
Ústav informačních systémů (UIFS)
Nahoru