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

Russian (CIS)English (United Kingdom)
 MOSCOW +7(495)-142-86-81

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

Zakharchenko D. V.  (Postgraduate student, Far eastern federal university (Vladivostok))

Borshevnikov A. E.  (Senior lecturer, Far eastern federal university (Vladivostok))

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
 

Read the full article …

Citation link:
Zakharchenko D. V., Borshevnikov A. E. Verification of the model of a system for monitoring leaks of confidential documents // Современная наука: актуальные проблемы теории и практики. Серия: Естественные и Технические Науки. -2021. -№07. -С. 74-80 DOI 10.37882/2223-2966.2021.07.14
LEGAL INFORMATION:
Reproduction of materials is permitted only for non-commercial purposes with reference to the original publication. Protected by the laws of the Russian Federation. Any violations of the law are prosecuted.
© ООО "Научные технологии"

Terms Publications

Issues of the journals (Archive)

ECONOMICS AND LAW
HUMANITIES
NATURAL AND TECHNICAL SCIENCES
COGNITION

Серия - Natural and Technical Sciences