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