Detail publikace

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

ŠVÉDA Miroslav a VRBA Radimír. Cyber-Physical Systems Networking with TCP/IP -- A Security Application Approach. In: IEEE Proceedings AFRICON 2013. New York: Institute of Electrical and Electronics Engineers, 2013, s. 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
angličtina
Autoři
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
IEEE AFRICON 2013 Conference, Mauritius, MU
ISBN
978-1-4673-5943-6
Vydavatel
Institute of Electrical and Electronics Engineers
Místo
New York, US
BibTeX
@INPROCEEDINGS{FITPUB10366,
   author = "Miroslav \v{S}v\'{e}da and Radim\'{i}r Vrba",
   title = "Cyber-Physical Systems Networking with TCP/IP -- A Security Application Approach",
   pages = "101--106",
   booktitle = "IEEE Proceedings AFRICON 2013",
   year = 2013,
   location = "New York, US",
   publisher = "Institute of Electrical and Electronics Engineers",
   ISBN = "978-1-4673-5943-6",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10366"
}
Nahoru