Formal Hierarchical Model of Security of the Upper Level of Instrumentation & Control System of a Nuclear Power Plant

The present paper considers a formal hierarchical model of the cybersecurity policy of the digital upper unit level system of (UULS) of the nuclear power plant (NPP). The relations and transfer of the access rights between the subjects and objects of the model are analyzed. The standard NPP UULS is...

Full description

Saved in:
Bibliographic Details
Published inIFAC Proceedings Volumes Vol. 46; no. 9; pp. 2145 - 2150
Main Authors Poletykin, A.G., Promyslov, V.G.
Format Journal Article
LanguageEnglish
Published 2013
Subjects
cybersecurity
digital control systems
formal modeling
transfer of rights
transfer of rights
digital control systems
formal modeling
cybersecurity
Online AccessGet full text
ISSN1474-6670
DOI10.3182/20130619-3-RU-3018.00322

Cover

More Information
Summary:The present paper considers a formal hierarchical model of the cybersecurity policy of the digital upper unit level system of (UULS) of the nuclear power plant (NPP). The relations and transfer of the access rights between the subjects and objects of the model are analyzed. The standard NPP UULS is characterized by way of example of the UULS developed at the Trapeznikov Institute of Control Sciences (Russian Academy of Sciences) for the NPP's and of its simplified cybersecurity model.
ISSN:1474-6670
DOI:10.3182/20130619-3-RU-3018.00322