Проект ГОСТ Р Защита информации. Формальная модель управления доступом. Часть 4. Рекомендации по верификации средства защиты информации, реализующего политики управления доступом, на основе формализованных описаний модели управления доступом

Документ "Защита информации. Формальная модель управления доступом. Часть 4. Рекомендации по верификации средства защиты информации, реализующего политики управления доступом, на основе формализованных описаний модели управления доступом" находится в системе НТД NormaCS

Вы можете получить этот (и еще 150 000) документ в рамках бесплатной 3х-дневной опытной эксплуатации NormaCS.

Отправить

Заполните анкету и мы предоставим Вам информацию в течение рабочего дня (с 9 до 18 по московскому времени).

Если Вы уже воспользовались услугой бесплатной опытной эксплуатации и определились с выбором разделов - просто нажмите кнопку

Купить NORMACS

Или свяжитесь с нами по телефону 8(831) 2-100-100

Информацию о документе или его статусе Вы можете запросить у Оператора, воспользовавшись формой в правом нижнем углу сайта

При запросе просим обратить внимание, что мы продаем библиотеку Нормативно-технической документации (а не товары, гвозди, балки и прочее). Так же мы не продаем документы отдельно. Однако если Вы попали на эту страницу и видите первую страницу документа - это означает, что он у нас есть. Всего в системе около 150 000 нормативно-технических документов. Если Вам необходим только один документ - мы готовы его предоставить совершенно бесплатно  в рамках 3х-дневной  опытной эксплуатации.   Для этого отправьте свой Email, нажав на кнопку "получить документ", чтобы мы выслали Вам инструкцию по установке программы.  Существуют несколько вариантов проведения опытной эксплуатации (Вы  можете заказать винчестер с дистрибутивом, либо пригласить специалиста к себе в компанию). Мы готовы ответить на Ваши вопросы в любой рабочий день с 9 до 18 по Московскому времени по телефону  (831) 2-100-100.

Документ входит в следующие классификаторы и разделы:

• Классификатор ISO

Документ ссылается на:

• 
  ГОСТ Р 51904-2002 - Программное обеспечение встроенных систем. Общие требования к разработке и документированию
• 
  ГОСТ Р 53113.1-2008 - Информационная технология. Защита информационных технологий и автоматизированных систем от угроз информационной безопасности, реализуемых с использованием скрытых каналов. Часть 1. Общие положения
• 
  ГОСТ Р 59453.1-2021 - Защита информации. Формальная модель управления доступом. Часть 1. Общие положения
• 
  ГОСТ Р 59453.2-2021 - Защита информации. Формальная модель управления доступом. Часть 2. Рекомендации по верификации формальной модели управления доступом
• 
  ОК 001-2021 - Общероссийский классификатор стандартов
• 
  Федеральный закон 162-ФЗ - О стандартизации в Российской Федерации