Похожие статьи
- Базовые параметры формальных моделей оценки защищенности ИТ по «Общим критериям»2007 / Зайцев О. Е.
- Формальное моделирование «Общих критериев» как инструмент внедрения и продвижения стандарта ГОСТ р ИСО/МЭК 154082007 / Зайцев О. Е., Любимов А. В.
Похожие статьи
- Испытание программного продукта на соответствие оценочному уровню доверия2006 / Пикулькин Д. А., Проскурин Ю. В., Фокин М. А.
- Об использовании формальных моделей для анализа уязвимостей2009 / Колегов Денис Николаевич
Похожие статьи
- Функциональное моделирование системы управления информационной безопасности организации по семейству стандартов ISO/IEC 2700x2008 / Андреева Наталья Викторовна, Шустиков Сергей Вячеславович
- Методика моделирования систем информационной безопасности на основе SADT-моделирования и аппарата сетей Петри2008 / Криволапов В. Г.
Похожие статьи
- Sadt-модель и алгоритмы интегрированной логистической поддержки жизненного цикла трубопроводов химических производств2014 / Ромашкин М. А., Мошев Е. Р., Мырзин Г. С.
- Онтологическое моделирование процесса оценивания гарантий в контексте функционально-лингвистического подхода2011 / Потий А. В., Комин Д. С.