Универсальная модель безопасности для всех систем
“Существующие модели безопасности, такие как Bell–LaPadula или Biba, описывают отдельные аспекты — конфиденциальность или целостность. Их можно совмещать, но это сложный ручной процесс, похожий на сборку гибридного двигателя из деталей разных машин.
Современные информационные системы редко защищают что-то одно. Государственная база данных должна одновременно предотвращать утечку секретных сведений и гарантировать, что учётные записи чиновников не будут скомпрометированы для внесения изменений.
Без них обеспечение безопасности в комплексных цифровых средах будет всё больше напоминать попытку управлять современным истребителем с помощью рычагов и шкивов от биплана. Формальная модель не гарантирует отсутствия уязвимостей в реализации, но она даёт уверенность в правильности самого плана защиты, что уже является критическим шагом вперёд.
