Verification of the model of a system for monitoring leaks of confidential documents

Zakharchenko D. V., Borshevnikov A. E.

The article discusses a new formal security model designed to warn about leaks of electronic documents. This model allows you to track the movement of documents on the Internet and detect unauthorized access to them. This document also provides verification of the developed model using Bell-LaPadula and take-grant models.

Keywords:information security, security policy, data protection, data leaks, leak detection, formal methods, take-grant model, Bell-LaPadula model