6 / 15
А.Г. Андреев, Г.В. Казаков, В.В. Корянов
6
Инженерный журнал: наука и инновации
# 6·2016
вания к подсистемам защиты нижнего уровня иерархии показателя ИБ,
изложенные в Руководящем документе [5].
Исходя из формальной структуры свойства ИБ АСУ КА можно
записать следующие выражения для вычисления значения его пока-
зателя (использованные обозначения соответствуют структуре пока-
зателя ИБ АСУ КА в Руководящем документе [5]):
ИБ =
а
1
(Ц) +
а
2
(К) +
а
3
(Д);
Ц =
b
1
(И) +
b
2
(П) +
b
3
(Б) +
b
4
(Р);
К =
с
1
(И) +
c
2
(П) +
c
3
(Б) +
c
4
(Р);
Д =
d
1
(И) +
d
2
(П) +
d
3
(Б) +
d
4
(Р);
И =
n
1
(УД) +
n
2
(РУ) +
n
3
(КР) +
n
4
(ОЦ);
П =
m
1
(УД) +
m
2
(РУ) +
m
3
(КР) +
m
4
(ОЦ);
Б =
p
1
(УД) +
p
2
(РУ) +
p
3
(КР) +
p
4
(ОЦ);
Р =
r
1
(УД) +
r
2
(РУ) +
r
3
(КР) +
r
4
(ОЦ),
где Ц, К, Д — показатели целостности, конфиденциальности и до-
ступности информации соответственно; И, П, Б, Р — показатели ис-
кажения, подмены, блокировки и раскрытия информации соответ-
ственно;
УД =
5
1
(У ),
l
l
l
i
=
∑
РУ =
10
1
(Р ),
l
l
l
j
=
∑
КР =
3
1
(Ш ),
l
l
l
k
=
∑
ОЦ =
6
1
(О )
l
l
l
g
=
∑
— по-
казатели подсистем управления доступом, регистрации и учета,
криптографической подсистемы и подсистемы обеспечения целост-
ности соответственно (
У ,
l
Р ,
l
Ш ,
l
О
l
— характеристики подсистем
управления доступом, регистрации и учета, криптографической под-
системы и подсистемы обеспечения целостности).
Методы оценки показателей достоверности и реализуемости
данных полета КА.
Получение аналитических выражений для оцен-
ки показателей достоверности и реализуемости данных полета КА
базируется на специальном представлении структуры АСУ КА. Ана-
лизу были подвергнуты методы различного структурного представ-
ления автоматизированных информационных систем (АИС):
•
агрегатного [6, 7];
•
стратифицированного [8];
•
скелетной сетью Петри [9];
•
в виде технологических участков [10].
Анализ показал, что наиболее приемлемым формальным представ-
лением АСУ КА для оценки показателей достоверности и реализуемо-
сти данных полета КА является
метод технологических участков
.
Для использования этого метода процесс подготовки данных
необходимо разбить на элементарные процессы подготовки данных
(ЭППД).