Информационно-безопасные системы. Анализ проблемы: Учебное пособие, страница 8

-  наличие многовариантного специального обеспечения, базирующегося на различных программных средах;

-  использование широкого ансамбля трансляторов и операционных систем;

-  применение различных средств вычислительной техники, а также многовариантных элементов;

-  наличие различных стилей программирования; затрудняющих решение задачи идентификации программного продукта.

Перечисленные выше факторы порождают широкие возможности универсализации средств внесения в программный продукт комплекса активных дефектов. Решение задачи создания информационно-безопасного продукта должно опираться на ряд базовых содержательных понятий, которые должны качественно, а затем и количе­ственно определить стратегии создания ПО необходимого качества. Оценка качества ПО должна преследовать цели создания условий идентифицируемости .

Определение 2.1. Будем называть программный продукт идентифицируемым, если имеется совокупность программных и/или аппаратных средств для отыскания закладок определенного класса.

Следует отметить, что на первом этапе решения задачи идентифицируемости необходимо выяснить условия существования решения поставленной задачи. Учиты­вая сложность ситуации, в которой приходится решать задачи идентифицируемости, можно в общем случае говорить о достижении цели с некоторой вероятностью. В этом случае выделение классов закладок  позволяет определить класс идентифици­руемости.

Определение 2.2. Будем называть программный продукт идентифицируемым от­носительно класса закладок, если средства борьбы с закладками данного класса эффек­тивны в некотором детерминированном или вероятностном смысле.

Введение понятия идентифицируемости относительно класса закладок естественно приводит к мысли о расширении содержания самого класса. Здесь можно говорить об идентифицируемости относительно расширенных классов, когда в характеристику класса входит ряд факторов. К ним можно отнести:

-  тип операционной системы:

-  тип вычислительных средств, элементной базы;

-  тип (стиль) программирования и квалификация программиста по возможным вариантам организации закладок;

-  другие факторы.

Анализируя ситуацию, можно не учесть отдельные факторы, их комбинации, и уже на исходном уровне можно попасть в ситуацию неполной характеристики ситуации. С этой целью целесообразно дать системную характеристику ситуации, представленную а виде матрицы в табл.2.1.

Таблица 2.1

	1 Тип операци­онной системы	2 Тип (класс) алгоритмов	3 Вид трансля­торов	4 Элементная база	5 Другие факто­ры
1. Тип опера­ционной системы	класс (1 - 1)
2.Тип (класс) алгоритмов				класс (2 - 4)
З. Вид трансляторов
4.Элементная база
5.Другие фак­торы

В табл. 2.1 даны примеры классов, относительно которых может иметь место идентифицируемость: класс (1-1) , класс (2-4) , что соответствует идентифицируемости от­носительно набора указанных факторов. Можно ввести степень полноты классов, отно­сительно которых имеет место идентифицируемость ПО. Может показаться, что приве­денная системная характеристика не создает оптимизма при решении задачи. Тем не менее использование необходимых наборов классов является целесообразным с учетом наиболее вероятного способа внесения активных дефектов.

2.2. Системные принципы

Детальная отработка принципов может быть выполнена в процессе последующего исследования, однако на первом этапе целесообразно указать следующие подходы.

Принцип 1. Аналитическое моделирование, что предполагает математическое вос­произведение главных функциональных соотношений процесса ввода информации, трансляции , функционального (алгоритмического) преобразования, процесса вывода.