Математическое моделирование дискреционной политики разграничения доступа

Журнал "Inside", Россия, Санкт-Петербург. 2021. № 5. С. 52–60.

Синцова К. А.

The work solves the problem of constructing and proving a mathematical model of an information security tool
with a discretionary type of access. The author tried to structure the previously accumulated knowledge in
the field of information security, as well as supplement it with mathematical calculations, which helped
to make the construction and proof of the model more rigorous and concise. This work will be useful for specialists involved in the construction and proof of the security of the CS model, as well as for students of technical universities as a study of the existing approach to solving the problem of mathematical modeling of security policies.

Keywords: математическое моделирование, сложные системы, mathematical modeling, complex systems, information security, конечные автоматы, security policies, политики безопасности, finite state machines, 81.93.29 Информационная безопасность. Защита информации