Безопасное объединение систем с моделью take-grant

В. А. Плетнева

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

Аннотация: В работе исследуется задача объединения двух систем, в каждой из которых реализована политика безопасности take-grant. Объединение называется безопасным, если внутри каждой из объединяемых систем не появляется новых доступов. Предлагается критерий безопасности объединения, а также легко проверяемое достаточное условие безопасности.

Ключевые слова: формальные модели безопасности, модель take-grant, безопасное объединение.