|
|
|
|
|
|
|
|
|
Formal security policy model
| Глоссарий терминов по информационной безопасности |
|
Формальная модель политики безопасности, русский
Модель политики безопасности, выраженная точным, возможно математическим образом, включающим начальное состояние системы, способы перехода системы из одного состояния в другое и определение "безопасного" состояния системы. еще - математически строгое описание политики безопасности. подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. чтобы быть принятой как основа двб (tcb), модель должна содержать формальное доказательство следующих положений: начальное состояние системы является безопасным; если все условия безопасности, определяемые моделью, выполнены, то все последующие состояния системы также будут безопасными. примером формальной модели является модель белла-лападула. функциональные требования (спецификации функций безопасности) - подмножество функций ис, относящихся к обеспечению зи. 79 функция скорость-погрешность [ratedistortion function] – часто переводится как энтропия. зависимость предельной скорости кодирования источника с критерием верности ("coding with fidely criterion") от погрешности воспроизведения сообщений.
|
|
Целостность базы данных, русский
Состояние базы данных, когда все значения данных правильны в том смысле, что отражают состояние реального мира (в пределах заданных ограничений по точности и временной согласованности) и подчиняются правилам взаимной непротиворечивости. поддержание целостности базы данных включает проверку целостности и восстановление из любого неправильного состояния, которое может быть обнаружено; это входит в функции администратора базы данных.
Формальная модель политики безопасности, русский
Модель политики безопасности, выраженная точным, возможно математическим образом, включающим начальное состояние системы, способы перехода системы из одного состояния в другое и определение "безопасного" состояния системы. еще - математически строгое описание политики безопасности. подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. чтобы быть принятой как основа двб (tcb), модель должна содержать формальное доказательство следующих положений: начальное состояние системы является безопасным; если все условия безопасности, определяемые моделью, выполнены, то все последующие состояния системы также будут безопасными. примером формальной модели является модель белла-лападула. функциональные требования (спецификации функций безопасности) - подмножество функций ис, относящихся к обеспечению зи. 79 функция скорость-погрешность [ratedistortion function] – часто переводится как энтропия. зависимость предельной скорости кодирования источника с критерием верности ("coding with fidely criterion") от погрешности воспроизведения сообщений.
|
|
|
|
|
|
|
