МПВ, действующие на
Λ
, ни один компонент которых не принад-
лежит множеству
Φ
, то из них можно получить истинное значение
Com
j
∈
Obj
i
с вероятностью
P
= 1
−
P
∗
, где
P
∗
=
P Com
∗
j
(
λ
τ
) =
Com
j
(
λ
τ
)
|{
Φ
1
,
Φ
2
, . . . ,
Φ
m
}
: (
Com
j
(
λ
τ
)
/
∈
Φ)
∨
∨ ∀
k
= 1
, m
(
∃
¯
ω
(
Com
j
(
λ
k
)) :
∀
Com
¯
ω
/
∈
Φ
k
)
∨
∨ ∀
k
= 1
, m
∃
¯
θ
(
Com
j
(
λ
k
)) :
∀
Com
¯
θ
/
∈
Φ
k
1
−
m
(1
−
β
(
Com
j
, λ
m
))
.
(11)
Критерии аутентичности носят вероятностный характер. Вероят-
ность выполнения условий, сформулированных в теоремах 1 и 2, не
превышает коэффициента доступности компонента
Com
j
, но если не-
обходимые условия выполнены, то вероятность обеспечения аутентич-
ности определяется по формулам (10) и (11).
Структура КС, обеспечивающая аутентичность ключевого
материала.
Аутентичность ОКС
Obj
i
на непрерывном временном
интервале
λ
определим как свойство ОКС, состоящее в том, что
∀
Com
j
∈
Obj
i
, для которого требуется обеспечение аутентичности,
аутентичен в любой момент времени
τ
, приходящийся на интервал
λ
.
Согласно модели [2] все компоненты ОКС, требующие обеспече-
ния аутентичности, сосредоточены в его полях
B, C, D, E
. Обозначим
β
(
Obj
i
, λ
)
— вероятность того, что хотя бы один компонент
Com
j
,
содержащийся в полях
B, C, D, E
объекта
Obj
i
неаутентичен в фик-
сированный момент времени
τ
, приходящийся на временной интервал
λ
. Если определены
β
(
Com
j
, λ
)
для
∀
Com
j
∈
B
∪
C
∪
D
∪
E
, то
β
(
Obj
i
, λ
) = 1
−
Com
j
∈
B
∪
C
∪
D
∪
E
(1
−
β
(
Com
j
, λ
))
.
(12)
Вероятность того, что хотя бы один компонент
Com
j
, содержащий-
ся в полях
B, C, D, E
объекта
Obj
i
, неаутентичен по крайней мере в
один из фиксированных моментов времени
(
τ
1
, τ
2
, . . . , τ
m
)
, приходя-
щихся на непрерывную последовательность временных интервалов
Λ =
λ
1
, λ
2
, ..., λ
m
, таких, что
τ
1
∈
λ
1
,
τ
2
∈
λ
2
, . . . , τ
m
∈
λ
m
, равна
β
(
Obj
i
,
Λ) = 1
−
Com
j
∈
Obj
i
.B
∪
C
∪
D
∪
E
(1
−
β
(
Com
j
,
Λ))
.
(13)
Вследствие малости абсолютных величин
β
для качественных ме-
ханизмов обеспечения аутентичности экспериментальное определение
β
затруднено, поэтому при расчетах по формулам (1)–(9), (12)–(13)
следует пользоваться аналитическими выражениями.
Проведем теперь анализ показателей аутентичности более круп-
ных элементов КС. Прежде всего укажем очевидное условие аутентич-
ности ОКС.
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2009. № 4 89
