формальная модель политики безопасности. Справочник технического переводчика. Интент.

	формальная модель политики безопасности Математически строгое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. Чтобы быть принятой как основа ДВБ (TCB), модель должна содержать формальное доказательство следующих положений: начальное состояние системы является безопасным; если все условия безопасности, определяемые моделью, выполнены, то все последующие состояния системы также будут безопасными. [http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=23]
EN
FR

формальная модель политики безопасности