6. Доверенное программное обеспечение (тсв), его свойства. Принципы разработки тсв.

TCB (trusted computer base, доверенное программное обеспечение, оно же ядро защиты) — технические, программные и микропрограммные элементы комплекса средств защиты, реализующие концепцию диспетчера доступа. Иными словами, TCB — это реализация функций проверки доступа.

Поведение функций, составляющих TCB, верифицируемо с точки зрения безопасности. Но здесь имеется следующая проблема.

Пусть имеется TCB, у него есть набор операций {op}. op' — некое подмножество op, т.е. это цепочка вызовов операций. P(a) — предикат, который говорит, безопасен ли этот вызов.

Тогда безопасное поведение системы опишется следующим образом:

∀a ∈ op': P(a)

Данное выражение является предикатом. А предикат от предиката — это предикат второго порядка, логика которых неразрешима. Такие дела.

Не знаю, насколько правильно мое утверждение, но, исходя из вышесказанного, следует, что проблема безопасности системы в общем случае неразрешима. В частных может быть разрешимой.

Основная теорема безопасности:

Если система начинает работу в безопасном состоянии и все переходы между состояниями являются безопасными, то система является безопасной.

TCB можно реализовать в виде одного модуля, тогда его легче верифицировать, либо в виде распределенного модуля, тогда будет больше производительность.

Существует 2 технологии разработки TCB:

1. Вертикальная (иерархическая). Механизм защиты должен располагаться на самом низком уровне. И тогда, итеративно поднимаясь снизу вверх, будем доказывать безопасность.

Пример:

            уровень приложений

            ^          ^          ^

            уровень сервисов

            ^          ^          ^

            уровень ОС

            ^          ^          ^

            Уровень железа

           

2. Горизонтальная (модульная). Механизм защиты представляет собой набор взаимосвязанных модулей, каждый их которых отвечает за свои функции. Совокупность всех модулей составляет периметр защиты.

Принципы разработки TCB:

1. Принцип наименьших привилегий. Субъекту даются только необходимые ему привилегии.

2. Принцип безопасных умолчаний. Доступа к объектам по умолчанию нет. Все права должны быть явно заданы.

3. Принцип простоты разработки. Будьте проще, тогда проще будет верифицировать и тестировать.

4. Принцип полного контроля доступа. Контроль доступа должен выполняться не только при первой попытке доступа, но и при каждой последующей.

5. Принцип открытой разработки. Безопасность не должна быть основана на секретности разработок

6. Принцип разделения привилегий. Решения о доступе не должны приниматься, базируясь на единственном условии.

7. Принцип минимального количества разделяемых механизмов. Мехнизмы, представляющие доступ к ресурсам системы, не должны быть разделяемыми.

8. Принцип психологической приемлемости. Механизмы не должны жрать много ресурсов, они должны быть легко конфигурируемыми и удобными.