Menu
Publications
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
Editor-in-Chief
Nikiforov
Vladimir O.
D.Sc., Prof.
Partners
Базовые параметры формальных моделей оценки защищённости ИТ по «общим критериям»
Read the full article ';
Abstract
В современных методах формального моделирования решающее влияние на результирующую модель
оказывает выбор ее базовых свойств (назначение, точка зрения, границы моделирования), а также ее кон-
текста. В работе представлены результаты анализа и выбора этих параметров в задаче построения функ-
циональной модели оценки защищенности ИТ на основе ГОСТ ИСО/МЭК 15408 (Общие Критерии).
Keywords:
общие критерии, ГОСТ ИСО/МЭК 15408, безопасность