Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:
Номер:11 (45)
Скачать PDF0 Кбайт
ФОРМАЛЬНОЕ МОДЕЛИРОВАНИЕ «ОБЩИХ КРИТЕРИЕВ» КАК ИНСТРУМЕНТ ВНЕДРЕНИЯ И ПРОДВИЖЕНИЯ СТАНДАРТА ГОСТ Р ИСО/МЭК 15408
Аннотация:
В работе представлен обзор актуальной информации в области оценки защищенности информационных технологий, на основе которого обосновывается актуальность использования методов формального моделирования для внедрения и продвижения стандарта ГОСТ Р ИСО/МЭК 15408 «Общие Критерии» (ОК) в РФ. Дается постановка задачи формального моделирования ОК, проводится сравнительный анализ методов и обосновывается выбор методики и нотации функционального моделирования.
Ключевые слова:
Постоянный URL
Статьи в номере
- МЕТОДИКА ПОДГОТОВКИ БУДУЩИХ ИНЖЕНЕРОВ СПЕЦИАЛЬНОСТИ «ИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИ В ОБРАЗОВАНИИ» К ПРОЕКТНОЙ ДЕЯТЕЛЬНОСТИ
- СТРУКТУРА, НАПОЛНЕНИЕ И ПРОГРАММНАЯ РЕАЛИЗАЦИЯ ИНТЕРАКТИВНОГО САЙТА ГАЗЕТЫ ВУЗА
- МЕТОДИКА ОБУЧЕНИЯ ПРОЕКТИРОВАНИЮ ЦИФРОВЫХ ОБРАЗОВАТЕЛЬНЫХ РЕСУРСОВ
- ВОЗМОЖНОСТЬ И ПЕРСПЕКТИВЫ ИСПОЛЬЗОВАНИЯ РЕСУРСОВ СИСТЕМЫ ДИСТАНЦИОННОГО ОБУЧЕНИЯ СПБГУ ИТМО ДЛЯ ФУНКЦИОНИРОВАНИЯ ВИРТУАЛЬНОГО ПРЕДСТАВИТЕЛЬСТВА СИСТЕМЫ ОТКРЫТОГО ОБРАЗОВАНИЯ
- ПРОБЛЕМЫ ПОДГОТОВКИ ПРОФЕССИОНАЛЬНЫХ КОНСУЛЬТАНТОВ В ОБЛАСТИ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ И ПУТИ ИХ РЕШЕНИЯ
- ЭНЕРГОИНФОРМАЦИОННЫЕ ПОТОКИ ПРИ ОБУЧЕНИИ И ИХ КОЛИЧЕСТВЕННЫЕ ХАРАКТЕРИСТИКИ
- ЛОЖНЫЕ ВЫЧИСЛИТЕЛЬНЫЕ СИСТЕМЫ ДЛЯ ИССЛЕДОВАНИЯ И ОТВЛЕЧЕНИЯ АТАК
- SDM-МОДЕЛЬ КЛИЕНТ-СЕРВЕРНОЙ СИСТЕМЫ
- ИСПОЛЬЗОВАНИЕ СПЕЦИАЛИЗИРОВАННОЙ СИСТЕМЫ МОДЕЛИРОВАНИЯ NS-2 ДЛЯ ИССЛЕДОВАНИЯ ТЕЛЕКОММУНИКАЦИОННЫХ СЕТЕЙ
- ФОРМИРОВАНИЕ СВЯЗАННЫХ ТОПОЛОГИЙ СПЕЦИАЛИЗИРОВАННЫХ СЕТЕЙ BLUETOOTH SCATTERNETS
- ВЫЧИСЛИТЕЛЬНЫЕ МЕХАНИЗМЫ КАК ИНСТРУМЕНТ ПРОЕКТИРОВАНИЯ ВСТРОЕННЫХ СИСТЕМ
- ОБНОВЛЕНИЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ В РАСПРЕДЕЛЕННЫХ УПРАВЛЯЮЩИХ СИСТЕМАХ
- СИНХРОНИЗАЦИЯ ВРЕМЕНИ В РАСПРЕДЕЛЕННЫХ ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМАХ
- РАЗРАБОТКА ИНФОРМАЦИОННО-УПРАВЛЯЮЩИХ СИСТЕМ КАК АКТУАЛИЗАЦИЯ ЦЕЛЕВОЙ ЗАДАЧИ
- ПОИСК ПРОГРАММНЫХ КОМПОНЕНТ ДЛЯ ПОВТОРНОГО ИСПОЛЬЗОВАНИЯ С ПОМОЩЬЮ АВТОМАТИЗИРОВАННЫХ СИСТЕМ ДОКАЗАТЕЛЬСТВ ТЕОРЕМ
- СРЕДСТВА ТЕСТИРОВАНИЯ ПЕЧАТНЫХ ПЛАТ С ИСПОЛЬЗОВАНИЕМ ТЕХНОЛОГИИ JTAG
- ОБЕСПЕЧЕНИЕ ИЗБЫТОЧНОСТИ ИНФОРМАЦИОННЫХ ПОЛЕЙ АДАПТИВНЫХ КЛАССИФИКАТОРОВ ДЛЯ СИСТЕМ ЗАЩИТЫ ИНФОРМАЦИИ
- МОДЕЛИ ПРОЦЕССА ОБНАРУЖЕНИЯ УГРОЗ ПРИ ДОСТУПЕ К РЕСУРСАМ КЛАСТЕРНОЙ СИСТЕМЫ
- СТРУКТУРНОЕ МОДЕЛИРОВАНИЕ КОНКУРЕНТНОЙ БОРЬБЫ СУБЪЕКТОВ КОРПОРАТИВНОЙ СИСТЕМЫ ЗА РЕСУРСЫ
- МЕТОДЫ ТЕСТИРОВАНИЯ ВЫЧИСЛИТЕЛЬНЫХ ПРОЦЕССОВ
- ТЕХНОЛОГИЯ ПРОВЕДЕНИЯ ЕГЭ ПО ИНФОРМАТИКЕ В КОМПЬЮТЕРНОМ ВИДЕ
- СЕТЕВОЕ СООБЩЕСТВО МЕТОДИЧЕСКОГО ИНТЕРНЕТ-ЦЕНТРА: СОВРЕМЕННОЕ СОСТОЯНИЕ И ПЕРСПЕКТИВЫ РАЗВИТИЯ
- СИСТЕМА ДИСТАНЦИОННОГО ОБУЧЕНИЯ ВТОРОГО ПОКОЛЕНИЯ
- ПРИМЕРЫ РЕАЛИЗАЦИИ СЕТЕВЫХ ВИРТУАЛЬНЫХ ЛАБОРАТОРИЙ В СРЕДЕ СИСТЕМЫ ДИСТАНЦИОННОГО ОБУЧЕНИЯ
- РАЗРАБОТКА СРЕДЫ ДЛЯ ВИЗУАЛЬНОГО ПРОГРАММИРОВАНИЯ СТРУКТУРЫ ЭЛЕКТРОННЫХ КУРСОВ
- ПОДХОД К СОЗДАНИЮ СРЕДСТВ ТЕМАТИЧЕСКОЙ КАТЕГОРИЗАЦИИ ИНТЕРНЕТ-РЕСУРСОВ
- НЕКОТОРЫЕ ВОПРОСЫ ОТКРЫТОЙ АРХИТЕКТУРЫ ВЕРТИКАЛЬНЫХ ОБРАЗОВАТЕЛЬНЫХ ПОРТАЛОВ
- РАЗВИТИЕ НЕИНВАЗИВНЫХ МЕТОДОВ ОЦЕНКИ ВХОДНОЙ ФУНКЦИИ ПО ПЭТ-ИЗОБРАЖЕНИЯМ
- ТЕОРЕТИКО-ГРУППОВЫЕ МЕТОДЫ ФОРМИРОВАНИЯ ШКАЛ КОРРЕКЦИИ ПРОСТРАНСТВЕННЫХ ИСКАЖЕНИЙ ИЗОБРАЖЕНИЙ В ТОМОГРАФИИ
- СРАВНЕНИЕ ТРЕХ МЕТОДОВ СИНТЕЗА ОДНОРОДНОГО ПОЛЯ ПЕРМАНЕНТНОГО МАГНИТА В МР-ТОМОГРАФИИ
- РЕКОНСТРУКЦИЯ ТРЕХМЕРНЫХ МОДЕЛЕЙ ПО РАСТРОВЫМ ИЗОБРАЖЕНИЯМ
- ПОЛУЧЕНИЕ КВАЗИСТЕРЕОСКОПИЧЕСКИХ ИЗОБРАЖЕНИЙ
- КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ОРГАНОВ ЧЕЛОВЕКА