Верификация модели системы мониторинга утечек конфиденциальных документов

Захарченко Даниил Владимирович, Боршевников Алексей Евгеньевич

В статье рассматривается новая формальная модель безопасности, предназначенная для предупреждения о произошедших утечках электронных документов. Данная модель позволяет отслеживать перемещения документов в сети интернет и обнаруживать несанкционированный доступ к ним. Также в данном документе приводится верификация разработанной модели с применением моделей Белла-ЛаПадулы и take-grant.

Ключевые слова:информационная безопасность, политика безопасности, защита корпоративных данных, утечки данных, обнаружение утечек, формальные методы, модель take-grant, модель Белла-ЛаПадулы.