об'єднує ІС, характерний тим, що для перевірки реалізованих в системі засобів захисту оброблюваної або інформації, що зберігається застосовуються формальні методи. Обов'язковою вимогою є повне документування всіх аспектів проектування, розробки і виконання ІС

об'єднує ІС, в яких реалізована чітко визначена і задокументована формалізована модель забезпечення безпеки, а меточного механізм поділу і контролю доступу, реалізований в системах класу В1, поширений на всіх користувачів, всі дані і всі види доступу

об'єднує ІС з поділом користувачів і даних

об'єднує ІС, щоб забезпечити більш тонкі засоби захисту в порівнянні з ІС класу С1, що роблять користувачів індивідуально помітними в їх діях за допомогою процедур контролю входу та контролю за подіями, які стосуються безпеки ІС і ізоляцію даних

об'єднує ІС, які відповідають всім вимогам класу С2, додатково реалізують заздалегідь визначену модель безпеки, що підтримують мітки суб'єктів і об'єктів, повний контроль доступу. Вся інформація реєструється, всі виявлені при тестуванні недоліки повинні бути усунені