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

O. . Zaytsev


Read the full article 

Abstract

 

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

Keywords:

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

Copyright 2001-2017 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.

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