Используемые сокращения и обозначения

ОССН
Операционная система специального назначения
ACSL
ANSI/ISO C Specification Language
ADV
Класс доверия «Разработка»
ADV_ARC
Семейство требований доверия «Архитектура безопасности»
ADV_FSP
Семейство требований доверия «Функциональная спецификация»
ADV_IMP
Семейство требований доверия «Представление реализации»
ADV_INT
Семейство требований доверия «Внутренняя структура ФБО»
ADV_SPM
Семейство требований доверия «Моделирование политики безопасности»
ADV_TDS
Семейство требований доверия «Проект ОО»
API
Application programming interface
AVA_CCA_EXT
Семейство требований доверия «Анализ скрытых каналов»
ATE_COV
Семейство требований доверия «Покрытие»
DAC
Discretionary access control
LSM
Linux Security Modules
RBAC
Role-based access control
SELinux
Security-Enhanced Linux
SMT
Satisfiability modulo theories
ДП-модель
Модель управления доступом и информационными потоками
МРОСЛ ДП-модель
Мандатная сущностно-ролевая модель управления доступом и информационными потоками в ОС семейства Linux
ОО
Объект оценки
ОС
Операционная система
ОУД
Оценочные уровни доверия
ПБО
Политика безопасности объекта оценки
ПО
Программное обеспечение
СЗИ
Средства защиты информации
ФБО
Функции безопасности ОО
ФСП
Функциональная спецификация
ФСТЭК
Федеральная служба по техническому и экспортному контролю
ФТБ
Функциональные требования безопасности