В работе решается задача построения и доказательства математической модели средства защиты информации с дискреционным видом доступа. Автор попытался структурировать ранее накопленные знания в области информационной безопасности, а также дополнить их математическими выкладками, что помогло сделать построение и доказательство модели более строгим и лаконичным. Работа будет полезна специалистам, занимающимся построением и доказательством безопасности модели компьютерных систем, а также студентам технических вузов в качестве изучения существующего подхода к решению задачи математического моделирования политик безопасности.
< ... >
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:
information security, mathematical modeling, finite state machines, object-subject approach, security policies, complex systems
Полную версию статьи смотрите на страницах журнала «Защита информации. Инсайд»
