Publication detail

A Formal Authorization Framework for Networked SCADA Systems

HALFAR, P. RÁB, J. RYŠAVÝ, O. ŠVÉDA, M.

Original Title

A Formal Authorization Framework for Networked SCADA Systems

Type

article in a collection out of WoS and Scopus

Language

English

Original 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.

Keywords

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

Authors

HALFAR, P.; RÁB, J.; RYŠAVÝ, O.; ŠVÉDA, M.

RIV year

2012

Released

16. 4. 2012

Publisher

IEEE Computer Society

Location

Novy Sad

ISBN

978-0-7695-4664-3

Book

Proceedings IEEE ECBS 2012

Pages from

298

Pages to

302

Pages count

5

URL

https://www.fit.vut.cz/research/publication/10015/

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/"
}

Documents

ECBS12-sveda-4664a298.pdf