Здравствуйте, Keneneler, Вы писали:

K>Посоветуйте литературу на эту тему, если она есть. Я как понял, все эти разграничения прав в OC не на пустом месте основаны, должны быть какие то теоретические изыскания на эту тему. Спасибо.

В отечественной литературе следует обязательно прочитать "Модели безопасности компьютерных систем. Управление доступом и информационными потоками." Петра Николаевича Девянина, (2013 год). В данном пособии приводятся все основные классические математические модели безопасности (ХРУ, Take-Grant, ТМД, СВС, Белла-ЛаПадулы, и др.), а также современные модели, ориентированные на отечественные защищенные компьютерные системы — ДП-модели, реально применяемые на практике при разработке механизмов управления доступом в ОС с высоким уровнем доверия к безопасности.

Другое пособие — это "Теоретические основы компьютерной безопасности" — автор Н.А. Гайдамакин — http://elar.urfu.ru/bitstream/10995/1778/5/1335332_schoolbook.pdf.

В зарубежной литературе самым фундаментальным трудом является книга M. Bishop "Computer security. Art and Science". На русский она не переводилась и никогда не будет, но этот труд должен быть прочитан любым специалистом по КБ (по моему мнению во всяком случае).

Если интересны современные отечественные научные работы в данной области, то некоторые из них публикуются в журнале "Прикладная дискретная математика". Все статьи в электронном варианте в бесплатном доступе. — http://vestnik.tsu.ru/pdm/