Энциклопедия информационной безопасности. По всем вопросам обращайтесь по адресу swan@wikisec.ru
Формальная модель политики безопасности: различия между версиями
Перейти к навигации
Перейти к поиску
Wikiadmin (обсуждение | вклад) м Замена текста — «Источник: » на «'''''Источник:''''' » |
Wikiadmin (обсуждение | вклад) м Замена текста — «== Определение ==» на «» |
||
| (не показана 1 промежуточная версия этого же участника) | |||
| Строка 1: | Строка 1: | ||
'''Формальная модель политики безопасности''' - | '''Формальная модель политики безопасности''' - Математически строгое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. Чтобы быть принятой как основа ДВБ (TCB), модель должна содержать формальное доказательство следующих положений: начальное состояние системы является безопасным; если все условия безопасности, определяемые моделью, выполнены, то все последующие состояния системы также будут безопасными. | ||
'''''Источник:''''' ??? | '''''Источник:''''' ??? | ||
[[Категория: Определения]] | [[Категория: Определения]] | ||
Текущая версия от 22:49, 16 ноября 2019
Формальная модель политики безопасности - Математически строгое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. Чтобы быть принятой как основа ДВБ (TCB), модель должна содержать формальное доказательство следующих положений: начальное состояние системы является безопасным; если все условия безопасности, определяемые моделью, выполнены, то все последующие состояния системы также будут безопасными.
Источник: ???