Publication Details

A Formal Authorization Framework for Networked SCADA Systems

HALFAR Patrik, RÁB Jaroslav, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. A Formal Authorization Framework for Networked SCADA Systems. In: Proceedings IEEE ECBS 2012. Novy Sad: IEEE Computer Society, 2012, pp. 298-302. ISBN 978-0-7695-4664-3.
Czech title
Rámec pro formální autentizaci síťových SCADA systémů
Type
conference paper
Language
english
Authors
Halfar Patrik, Ing. (DIFS FIT BUT)
Ráb Jaroslav, Ing. (DIFS FIT BUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (DIFS FIT BUT)
Švéda Miroslav, prof. Ing., CSc. (DIFS FIT BUT)
Keywords

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

Abstract

In this paper, we propose an application of a formal authorization framework for defining and enforcing security policies in SCADA systems. Current generation of SCADA systems are built as open networked systems often connected to public networks. Thus the security becomes an important issue, which needs to be properly addressed in these systems. The knowledge gained from securing networked computer based systems may help to develop security measures for SCADA systems too. Among such methods, a policy based security methods are the most applied. The contribution of this paper consists of an overview of security issues related to SCADA systems and a proposal to use a logic-based authorization framework in this environment for achieving scalable and efficient authentication.

Published
2012
Pages
298-302
Proceedings
Proceedings IEEE ECBS 2012
Conference
19th Annual IEEE International Conference on the Engineering of Computer-Based Systems, Novi Sad, RS
ISBN
978-0-7695-4664-3
Publisher
IEEE Computer Society
Place
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"
}
Back to top