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
Konference
Konference IEEE AFRICON 2013, Mauritius, MU
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