Базовые параметры формальных моделей оценки защищённости ИТ по «общим критериям»

Зайцев О. Е.



Аннотация

 

В современных методах формального моделирования решающее влияние на результирующую модель
оказывает выбор ее базовых свойств (назначение, точка зрения, границы моделирования), а также ее кон-
текста. В работе представлены результаты анализа и выбора этих параметров в задаче построения функ-
циональной модели оценки защищенности ИТ на основе ГОСТ ИСО/МЭК 15408 (Общие Критерии).

Ключевые слова:

общие критерии, ГОСТ ИСО/МЭК 15408, безопасность



Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
Информация 2001-2019 ©
Научно-технический вестник информационных технологий, механики и оптики.
Все права защищены.

Яндекс.Метрика