Базовые параметры формальных моделей оценки защищённости ИТ по «общим критериям»
Аннотация:
В современных методах формального моделирования решающее влияние на результирующую модель оказывает выбор ее базовых свойств (назначение, точка зрения, границы моделирования), а также ее кон- текста. В работе представлены результаты анализа и выбора этих параметров в задаче построения функ- циональной модели оценки защищенности ИТ на основе ГОСТ ИСО/МЭК 15408 (Общие Критерии).
Ключевые слова:
Постоянный URL
Статьи в номере
- Разработка профилей защиты и заданий по безопасности для сетей связи с использованием метода оценки уровня критичности сегмента
- Марковские модели средств защиты автоматизированных систем специального назначения
- Пакет визуализации графа управления модели мишени как часть программного комплекса по выявлению вредоносного кода и недекларированных возможностей ПО
- Структурное моделирование конкурентного взаимодействия индивидуумов в корпоративной среде
- Разработка тестовых программ для программного комплекса по выявлению вредоносного кода и недекларированных возможностей в программном обеспечении
- Функциональная модель системы управления информационной безопасностью как средство внедрения стандартов линейки ISO/IEC 2700x (BS 7799)
- Анализ и исследование методов и средств обнаружения недекларированных возможностей
- Анализ сетевого трафика корпоративной сети по протоколу SMTP на предмет утечек информации
- Исследование возможности использования криптопровайдера КриптоПро JCP для создания программных средств электронной цифровой подписи
- Основные задачи прикладной теории информационной безопасности АСУ
- Проект учебно-методического комплекса оценки рисков информационной безопасности
- Модифицированная модель общего контекста безопасности на основе общих критериев в контексте конкурентного парно-субъективного взаимодействия
- К обнаружению атак в компьютерных системах нейросетевыми средствами
- Анализ и прогнозирование динамики уязвимостей
- Исследование состояния безопасности веб-сайтов банковской сферы Северо-Западного федерального округа на основе «легальных» методов анализа защищенности
- Алгоритм дифференциальной кодово-импульсной модуляции в задачах компрессии цифрового потока данных, описывающих движение 3D-модели
- Проблема выявления функциональных зависимостей в реляционной БД
- Паттерны проектирования встроенных систем
- Использование Oracle HTML DB для модернизации приложения «Деканат» информационной системы университета
- Многослойное рельефное текстурирование: решение вопросов фильтрации и построения мягких теней
- Использование моделей движения в решении навигационной задачи по сигналам спутниковых радионавигационных систем
- JPEG-подобный алгоритм сжатия изображений с адаптивным выбором локальных областей
- Проблемы и задачи автоматизированного проектирования распределенных баз данных
- Проблемы интеграции PDM- и CAD-систем. Унифицированный подход
- Алгоритмы укладки диаграмм состояний
- Подход к тестированию программных интерфейсов приложений мобильных устройств
- Анализ алгоритмов поиска плагиата в исходных кодах программ
- Анализ изменений программного кода методом кластеризации метрик
- Создание автоматных веб-приложений
- Использование генетических алгоритмов для решения задачи об «умном муравье»
- Об особенностях разработки комплекса виртуальных лабораторных работ по экологической тематике
- Основные математические модели и методы расчета функциональной надежности корпоративных информационных систем
- Проектирование и техническая реализация электронного учебника с использованием PHP/MySQL
- Технология радиочастотной идентификации (RFID). Перспективы использования и возникающие проблемы
- WnetMess – программа для обмена мультимедийными данными между мобильными устройствами по Wi-Fi и Enternet-подобными сетями
- Оценка пропускных способностей каналов связи в распределенных сетях передачи данных
- Пространственно-частотная фильтрация на основе многослойной голографической решетки
- Применение генетического программирования для реализации систем со сложным поведением
- Построение иерархии классов по текстовым описаниям
- Автоматное расширение языка C#
- Программный модуль спектрального анализа, ориентированный на работу в режиме реального времени
- Применение авторегрессионного интегрированного скользящего среднего в алгоритмах управления перегрузками протоколов передачи потоковых данных
- Методические особенности использования геоинформационных систем при анализе экологической обстановки в населенном пункте