Detail publikace

A Formal Authorization Framework for Networked SCADA Systems

HALFAR, P.; RÁB, J.; RYŠAVÝ, O.; ŠVÉDA, M. A Formal Authorization Framework for Networked SCADA Systems. Proceedings IEEE ECBS 2012. Novy Sad: IEEE Computer Society, 2012. p. 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
anglicky
Autoři
Halfar Patrik, Ing. (CIS - Kyberbezpečnost)
Ráb Jaroslav, Ing.
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
Švéda Miroslav, prof. Ing., CSc. (UTKO)
Klíčová slova

SCADA Systems, Authorization, security management, security policy management, formal methods

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
ISBN
978-0-7695-4664-3
Vydavatel
IEEE Computer Society
Místo
Novy Sad
BibTeX 
@inproceedings{BUT91509,
  author="Patrik {Halfar} and Jaroslav {Ráb} and Ondřej {Ryšavý} and Miroslav {Švéda}",
  title="A Formal Authorization Framework for Networked SCADA Systems",
  booktitle="Proceedings IEEE ECBS 2012",
  year="2012",
  pages="298--302",
  publisher="IEEE Computer Society",
  address="Novy Sad",
  isbn="978-0-7695-4664-3",
  url="https://www.fit.vut.cz/research/publication/10015/"
}
Nahoru