Именование и защита объектов в операционных системах Иванова, Ольга Львовна

Короткий опис

Иванова, Ольга Львовна.
Именование и защита объектов в операционных системах : диссертация ... кандидата физико-математических наук : 01.01.10. - Москва, 1984. - 99 с. : ил.
Оглавление диссертациикандидат физико-математических наук Иванова, Ольга Львовна
ВВЕДЕНИЕ.
ГЛАВА I ОБЗОР ТЕОРЕТИЧЕСКИХ И ПРАКТИЧЕСКИХ СИСТЕМ
1. Определение основных понятий.
2. Некоторые родственные системы .••.••.••••••
2.1. Системы с древовидной структурой памяти
2.2. Принципы построения системы Muitics
3. Принципы построения иерархической модели доменов.
4. Основные концепции, лежащие в основе ncs
4.1. Именование и защита объектов посредством удостоверений.
4.2. Иерархия объектов.
4.3. Доверение удостоверений
4.4. Анализ предложенной реализации
5. Программные и аппаратные реализации систем защиты.
5.1. Проект hydra - пример системы защиты, реализованной программным образом
5.2. Недостатки программного представления Система staros
5.3. Вычислительные машины gap, iAPX-432 . 40 ВЫВОда.
ГЛАВА 2 ФОРМАЛЬНАЯ МОДЕЛЬ ИМЕНОВАНИЯ И ЗАЩИТЫ ОБЪЕКТОВ
1. Модель вычислительной системы.
2. Модель системы защиты.
2.2.1. Основное определение.
2.2.2. Общая схема доверения.
2.2.3. Иерархическая схема доверения.
2.2.4. Схема доверения с совместным управлением 53 ВЫВОДЫ.
ГЛАВА 3 РЕАЛИЗАЦИЯ МОДЕЛИ ИМЕНОВАНИЯ И ЗАЩИТЫ ОБЪЕКТОВ
В ОПЕРАЦИОННЫХ СИСТЕМАХ.
1. Представление основных компонентов .7в
2. Базовая система команд
2.1. Образование и уничтожение типов
2.2. Образование и уничтожение объектов
2.3. Образование и уничтожение доменов ••. 82 2.4» Образование и уничтожение процессов
Связь процессов с доменами
2.5. Представление функций доверения/запрещения и вычисление привилегий
ВЫВОДЫ.