Журнал «Современная Наука»

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

Захарченко Даниил Владимирович (Аспирант, Дальневосточный федеральный университет (г. Владивосток))

Боршевников Алексей Евгеньевич (старший преподаватель, Дальневосточный федеральный университет (г. Владивосток))

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

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

Читать полный текст статьи …

Ссылка для цитирования:
Захарченко Д. В., Боршевников А. Е. Верификация модели системы мониторинга утечек конфиденциальных документов // Современная наука: актуальные проблемы теории и практики. Серия: Естественные и Технические Науки. -2021. -№07. -С. 74-80 DOI 10.37882/2223-2966.2021.07.14

ПРАВОВАЯ ИНФОРМАЦИЯ:
Перепечатка материалов допускается только в некоммерческих целях со ссылкой на оригинал публикации. Охраняется законами РФ. Любые нарушения закона преследуются в судебном порядке.
© ООО "Научные технологии"