Detail publikace

A Formal Authorization Framework for Networked SCADA Systems

Originální název

A Formal Authorization Framework for Networked SCADA Systems

Anglický název

A Formal Authorization Framework for Networked SCADA Systems

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

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",
  annote="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.",
  address="IEEE Computer Society",
  booktitle="Proceedings IEEE ECBS 2012",
  chapter="91509",
  edition="NEUVEDEN",
  howpublished="print",
  institution="IEEE Computer Society",
  year="2012",
  month="april",
  pages="298--302",
  publisher="IEEE Computer Society",
  type="conference paper"
}