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

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

Синцова К. А.

В работе решается задача построения и доказательства математической модели средства защиты информации с дискреционным видом доступа. Автор попытался структурировать ранее накопленные знания в области информационной безопасности, а также дополнить их математическими выкладками, что помогло сделать построение и доказательство модели более строгим и лаконичным. Работа будет полезна специалистам, занимающимся построением и доказательством безопасности модели компьютерных систем, а также студентам технических вузов в качестве изучения существующего подхода к решению задачи математического моделирования политик безопасности.

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