119
Алиса может находится в одном из двух режимов: она или активна (и тогда
по наблюдаемому каналу передается стего S) или пассивна (передается пус-
той контейнер С). Когда Алиса активна, она преобразует контейнер С вложе-
нием в него скрываемого сообщения М, используя секретный ключ К. Допус-
тимо построение стегосистемы, в которой Алиса может сама генерировать
для скрытия сообщения М подходящий контейнер. Получив стего S, Боб
должен быть способен извлечь из него сообщение М, используя ключ К. В
терминах теории информации стегосистема должна удовлетворять соотно-
шениям:
1. H (S/CМK) = 0. Формируемое отправителем стего S однозначно опре-
деляется значениями контейнера C, ключа К и сообщения М.
2. H (М) > 0. Неопределенность до момента передачи скрываемого сооб-
щения М и для получателя и для нарушителя строго больше нуля, иначе по
скрытому каналу не передается неизвестной для получателя информации и
теряется смысл использования стегосистемы. Заметим, что это может не вы-
полняться для систем ЦВЗ, целью которых является не передача неизвестной
для получателя или нарушителя информации, а установление авторства пере-
даваемого контейнера.
3. H (М/SK) = 0. Получатель Боб должен однозначно восстановить скры-
ваемое сообщение М из принятого стего S, пользуясь ключом К.
Будем полагать, что вероятностные распределения множеств скрываемых
сообщений, контейнеров, стего и ключей известны для всех участников ин-
формационного противоборства. Дополнительно получатель Боб знает, ак-
тивна или нет отправитель Алиса. Ева, наблюдая передаваемые Алисой со-
общения, должна установить передается по каналу связи скрываемая инфор-
мация или нет. Для выявления факта использования стегосистемы Ева пыта-
ется определить, соответствуют ли передаваемый информационный поток
распределению контейнеров или распределению стего. Если Ева способна
установить, что в наблюдаемом канале передаются сообщения с распреде-
лением стегограмм, то факт скрытой передачи информации от Алисы к Бобу
доказан, а используемая ими стегосистема является нестойкой. Сформулиру-
ем задачу доказательства стойкости стегосистемы как задачу различения ги-
потез.
В рассматриваемой модели стегосистемы известно вероятностное распре-
деление пустых контейнеров, обозначаемое Р
С
, и вероятностное распределе-
ние стегограмм, обозначаемое Р
S
. Нарушитель в контролируемом канале свя-
зи может наблюдать множество возможных пустых контейнеров и стего-
грамм. Обозначим это множество возможных наблюдений Q. Нарушитель,
наблюдая передаваемое сообщение q
∈
Q, выдвигает две гипотезы Н
С
и Н
S
.
Если справедлива гипотеза Н
С
, то сообщение q порождено в соответствии с
распределением Р
С
, а если справедлива Н
S
, то q соответствует распределе-
нию Р
S
. Правило решения заключается в разбиении множества Q на две час-
ти так, чтобы назначить одну из двух гипотез каждому возможному сообще-