Аннотация доклада.

Предполагается проанализировать возможности применения классических моделей и ДП-моделей для создания на их основе системы логического управления доступом и информационными потоками в ОС. При этом будут рассмотрены опыт и перспективы моделирования данной системы в ОС семейств Windows и Linux, в том числе с учетом наличия в них механизмов учетных записей пользователей, совместного доступа к сущностям (объектам), мандатного контроля целостности, функциональной и параметрической ассоциированности сущностей, а также потенциальной возможности реализации в этих ОС мандатного или ролевого управления доступом.