Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:004.056.5
Номер:11 (56)
Скачать PDF0 Кбайт
МЕТОДИКА ФУНКЦИОНАЛЬНОГО МОДЕЛИРОВАНИЯ ПРОЦЕССА ОЦЕНКИ ЗАЩИЩЕННОСТИ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ ПО «ОБЩИМ КРИТЕРИЯМ»
Аннотация:
При построении функциональной модели «Общих критериев» (ОК) используется методика SADT и еe нотация DFD. Методика SADT изначально не может адекватно отобразить модель ОК в связи с определенной спецификой объекта моделирования, поэтому для получения методики функционального моделирования ОК в методику SADT необходимо внести некоторые коррективы.
Ключевые слова:
Постоянный URL
Статьи в номере
- АНАЛИЗ ФАКТОРОВ, ВЛИЯЮЩИХ НА КАЧЕСТВЕННЫЕ И КОЛИЧЕСТВЕННЫЕ ПОКАЗАТЕЛИ ФУНКЦИОНИРОВАНИЯ СИСТЕМ РАСПРЕДЕЛЕННОГО ХРАНИЛИЩА ДАННЫХ
- МЕТОД РАЗБОРА ИСХОДНЫХ ТЕКСТОВ ПО УПРОЩЕННОЙ ГРАММАТИКЕ ЯЗЫКА
- АВТОМАТИЗИРОВАННАЯ СИСТЕМА СБОРА И ОБРАБОТКИ ДАННЫХ СКВАЖИННЫХ ИЗМЕРЕНИЙ С ПОМОЩЬЮ АКУСТИЧЕСКОГО РАСХОДОМЕРА
- РЕАЛИЗАЦИЯ МОДЕЛИ ОСВЕЩЕНИЯ КУКА-ТОРРЕНСА C ИСПОЛЬЗОВАНИЕМ ТЕХНОЛОГИИ DEFERRED SHADING
- ПРОГРАММНО-АППАРАТНЫЙ КОМПЛЕКС ДЛЯ КОНТРОЛЯ СИСТЕМ ПОСАДКИ ВОЗДУШНЫХ СУДОВ
- СЕГМЕНТАЦИЯ ИЗОБРАЖЕНИЯ ДЛЯ РАСПОЗНАВАНИЯ ПЕЧАТНЫХ ДОКУМЕНТОВ
- ВЛИЯНИЕ ВНЕШНИХ ВОЗДЕЙСТВИЙ НА DC-КОЭФФИЦИЕНТ МАТРИЦЫ ДИСКРЕТНО-КОСИНУСНОГО ПРЕОБРАЗОВАНИЯ В ПОЛУТОНОВЫХ ИЗОБРАЖЕНИЯХ
- ИССЛЕДОВАНИЕ ДИНАМИКИ ПРОЦЕССОВ МЕТОДОМ ВЫЧИСЛЕНИЯ МЕР КОЛИЧЕСТВЕННОГО РЕКУРРЕНТНОГО АНАЛИЗА В ОКНЕ, СМЕЩАЕМОМ ВДОЛЬ ГЛАВНОЙ ДИАГОНАЛИ РЕКУРРЕНТНОЙ ДИАГРАММЫ
- ИССЛЕДОВАНИЕ СЕТЕЙ ПЕРЕДАЧИ ДАННЫХ С УЧЕТОМ ОГРАНИЧЕННОЙ ДЛИНЫ ПАКЕТОВ
- ОЦЕНКА ЕМКОСТИ БУФЕРНОЙ ПАМЯТИ В ПРОМЕЖУТОЧНЫХ УЗЛАХ ТЕЛЕКОММУНИКАЦИОННОЙ СЕТИ
- АЛГОРИТМЫ ОПТИМИЗАЦИИ РАБОТЫ БЕСПРОВОДНОЙ СЕНСОРНОЙ СЕТИ НА БАЗЕ ПРОТОКОЛА ZIGBEE
- ПРОГРАММИРОВАНИЕ ЭЛЕКТРОННОГО КУРСА НА ОСНОВЕ АВТОМАТНОГО ПОДХОДА
- МЕТОДИКА РАСЧЕТА ВЫЧИСЛИТЕЛЬНОЙ МОЩНОСТИ ПРОГРАММНО-АППАРАТНОГО КОМПЛЕКСА ДЛЯ ПРОВЕДЕНИЯ ЕГЭ В КОМПЬЮТЕРНОЙ ФОРМЕ
- КООРДИНАЦИЯ УПРАВЛЯЮЩИХ ВОЗДЕЙСТВИЙ ПРИ ФОРМИРОВАНИИ ПРОФЕССИОНАЛЬНОЙ КОМПЕТЕНТНОСТИ В ПРОГРАММИРОВАНИИ