ИСТИНА

Понятие гарантированно защищенной информационной системы впервые встречается в американском стандарте TCSEC и связано с существованием математической модели, в которой математически доказывается безопасность в определенном для этой модели смысле. Впервые такие модели у нас в стране рассмотрены в работах Грушо А.А. и Тимониной Е.Е.. В данном докладе рассматривается новый класс систем, не рассматривающийся ранее, - это СУБД, построенные на небезопасных платформах, которые также могут содержать срытые враждебные программы. В этих условиях строится модель, для которой доказывается безопасность защищаемой информации в указанных условиях враждебного окружения.