Технические средства и организованная преступность

Архив ресурса Фрикинг.RU [ приостановлен в 2007г. ]

Это архив. Материалы носят исключительно информационно ознакомительный характер.


Фрикинг.RU ››› Аналитическая и справочная информация ››› Немного о терминалогии ››› Глоссарий (краткий) в области компьютерной безопасности ››› Formal security policy model


Formal security policy model


Formal security policy model (формальная модель политики безопасности) - математически строгое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. Чтобы быть принятой как основа ДВБ (TCB), модель должна содержать формальное доказательство следующих положений:
начальное состояние системы является безопасным;
если все условия безопасности, определяемые моделью, выполнены, то все последующие состояния системы также будут безопасными.
Примером формальной модели является модель Белла-Лападула.



 Пользователей: 17814 Специалистов: 1472 Экспертов: 125  - ONLINE: 11.40.0 - Тем: 41578 Сообщений: 308473 Аккаунтов: 46802
Since 1999