Назначение документа
Настоящий документ содержит описание модели защиты, задающей принцип разграничения доступа, описание правил разграничения доступа (ПРД) и их изменения, описание механизма управления доступом.
В описание модели защиты включены следующие положения:
-
использование высокоуровневой спецификации части комплекса средств защиты (КСЗ), реализующего механизм управления доступом и его интерфейсов;
-
верификация высокоуровневой спецификации на соответствие заданных принципов разграничения доступа;
-
отображение высокоуровневой спецификации КСЗ последовательно в спецификации одного или нескольких нижних уровней, вплоть до реализации высокоуровневой спецификации КСЗ на языке программирования высокого уровня.
Документ предназначен для СУБД ЛИНТЕР СТАНДАРТ 6.0 сборка 20.2, далее по тексту СУБД ЛИНТЕР.