Модель защиты по принципу «возьми грант»
Модель защиты «принятие-предоставление» — это формальная модель, используемая в области компьютерной безопасности для установления или опровержения безопасности данной компьютерной системы, которая следует определенным правилам. Он показывает, что хотя вопрос безопасности в целом неразрешим , для конкретных систем он разрешим за линейное время.
Модель представляет систему в виде ориентированного графа , вершинами которого являются либо субъекты, либо объекты. Ребра между ними помечены, и метка указывает права, которые источник ребра имеет над местом назначения. В каждом экземпляре модели существуют два права: принять и предоставить . Особую роль они играют в правилах переписывания графа, описывающих допустимые изменения графа.
Всего таких правил четыре:
- Правило Take позволяет субъекту получить права другого объекта (добавить ребро, исходящее от субъекта)
- Правило предоставления позволяет субъекту предоставлять собственные права другому объекту (добавлять ребро, заканчивающееся на субъекте)
- Правило создания позволяет субъекту создавать новые объекты (добавлять вершину и ребро от субъекта к новой вершине)
- Правило удаления позволяет субъекту удалять имеющиеся у него права на другой объект (удалять ребро, исходящее от субъекта)
Предпосылки для :
- субъект s имеет право принять за o .
- объект o имеет право r на p .
Предпосылки для :
- субъект s имеет право на грант o .
- s имеет право r на p .
Используя правила модели защиты «бери-предоставляй», можно воспроизвести, в каких состояниях может меняться система в отношении распределения прав. Таким образом, можно показать, возможны ли утечки прав в отношении данной модели безопасности.
Ссылки
[ редактировать ]- Липтон, Ричард Дж .; Снайдер, Лоуренс (1977). «Алгоритм линейного времени для принятия решения о безопасности объекта» (PDF) . Журнал АКМ . 24 (3): 455–464. CiteSeerX 10.1.1.149.4807 . дои : 10.1145/322017.322025 .
- Бишоп, Мэтт (2004). Компьютерная безопасность: искусство и наука . Аддисон-Уэсли.