---

1. Проблема скрытых каналов. В тексте указано, что начиная с класса B2
должен осуществляться контроль скрытых каналов утечки информации. Почему классы
группы C (C1, C2) принципиально не способны эффективно противодействовать
скрытым каналам? Обоснуйте свой ответ, опираясь на отсутствие или наличие
определенных механизмов управления доступом в этих группах.
2. Эволюция ТСВ. Проследите изменение требований к архитектуре
доверенной вычислительной базы (ТСВ) при переходе от класса C2 к классу B3. Как
именно требование минимизации сложности (компактности) ТСВ в классе B3 связано с
требованием непрерывности защиты (Требование 6)?
3. Иерархия верификации. В чем заключается фундаментальное отличие
систем класса A1 от функционально эквивалентных им систем класса B3, если набор
защитных функций у них одинаков? Почему формальные методы доказательства
корректности архитектуры делают класс A1 практически неосуществимым для
массовых коммерческих операционных систем?