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