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