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

O. Zaytsev


Read the full article  ';

Abstract

 

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

Keywords:

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



Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
Copyright 2001-2024 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

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