Detail publikace

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.
Název česky
Propojení kyberneticko-fyzikálních systémů sítěmi s TCP/IP -- Přístup k bezpečnostní aplikaci
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Vrba Radimír, prof. Ing., CSc. (CEITEC VUT)
Klíčová slova

Cyber-physical system, security analysis, IP networks

Abstrakt

Příspěvek pojednává o jednom přístupu k bezpečnostní analýze IP počítačových sítí v kyberneticko-fyzikálních aplikacích. Vyvinutá metoda vychází z formálního modelu síťové topologie a využívá rozhodovací proceduru založenou na SAT pro analýzu konfigurací vzhledem ke kontrolovaným bezpečnostním vlastnostem.

Rok
2013
Strany
101–106
Sborník
IEEE Proceedings AFRICON 2013
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"
}
Nahoru