This paper describes a simplified and corrected specification of role-based access control (RBAC) based on the specification in the ANSI standard for RBAC. The simplifications and corrections were made while following a systematic method for deriving efficient implementations from straightforward implementations of clear specifications. The method allows specifications to be written clearly wit...

The article is devoted to the issues of nuclear energy. It considers a simplified dynamic model simulating main processes occurring in power plant. basis proposed heat release reactor, relative neutron and temperature coolant hot thread circulation circuit. position absorbing assemblies, which determines reactivity introduced by them, formed an operational control that simulates bringing assemb...