Detail publikace
A Formal Authorization Framework for Networked SCADA Systems
HALFAR Patrik, RÁB Jaroslav, RYŠAVÝ Ondřej a ŠVÉDA Miroslav. A Formal Authorization Framework for Networked SCADA Systems. In: Proceedings IEEE ECBS 2012. Novy Sad: IEEE Computer Society, 2012, s. 298-302. ISBN 978-0-7695-4664-3.
Název česky
Rámec pro formální autentizaci síťových SCADA systémů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Halfar Patrik, Ing. (UIFS FIT VUT)
Ráb Jaroslav, Ing. (UIFS FIT VUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Ráb Jaroslav, Ing. (UIFS FIT VUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Abstrakt
Tento příspěvek navrhuje formální autorizační rámec pro definování a prosazení bezpečnostních přístupů v systémech SCADA.
Rok
2012
Strany
298-302
Sborník
Proceedings IEEE ECBS 2012
Konference
19th Annual IEEE International Conference on the Engineering of Computer-Based Systems, Novi Sad, RS
ISBN
978-0-7695-4664-3
Vydavatel
IEEE Computer Society
Místo
Novy Sad, RS
BibTeX
@INPROCEEDINGS{FITPUB10015, author = "Patrik Halfar and Jaroslav R\'{a}b and Ond\v{r}ej Ry\v{s}av\'{y} and Miroslav \v{S}v\'{e}da", title = "A Formal Authorization Framework for Networked SCADA Systems", pages = "298--302", booktitle = "Proceedings IEEE ECBS 2012", year = 2012, location = "Novy Sad, RS", publisher = "IEEE Computer Society", ISBN = "978-0-7695-4664-3", language = "english", url = "https://www.fit.vut.cz/research/publication/10015" }