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