ЛЕКЦИЯ 14. Протоколы аутентификации

копирует сообщение и позже воспроизводит его.

Воспроизведение, которое можно зарегистрировать.
Противник

может воспроизвести сообщение с меткой даты/времени внутри реального времени.

Воспроизведение, которое нельзя обнаружить.
Оригинальное сообщение можно принудительно задержать, чтобы оно не достигло адресата, тогда адресат получит только воспроизведенное сообщение.

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

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

каждой из сторон необходимо отслеживать порядковые номера для каждого из отправителей, с которыми приходится иметь дело.

2. Метки даты/времени.
Сторона А принимает сообщение как новое, только если сообщение содержит метку даты/времени.
При этом подходе необходимо, чтобы часы участвующих в обмене данными сторон были синхронизированы.
Метки даты/времени нельзя использовать для приложений, основанных на применении протокола с установлением логических соединений.

3. Запрос/ответ.
Сторона А, ожидающая нового сообщения от В, сначала посылает В оказию (запрос) и требует, что следующее сообщение, полученное от В (ответ), содержало соответствующее корректное значение оказии.
Не годится для приложений, работающих с протоколами без установления соединений, поскольку в таких приложениях потребуется очень большое число дополнительных подтверждений перед передачей любой порции данных.

включающий элементы аутентификации

Протокол Нидхэма-Шредера :

А →ЦРК:

IDA || IDB || N1
ЦРК →А: EKa [KS || IDB || N1 || EKb [KS || IDA]]
A→B: EKb[KS || IDA]
B →A: EKs[N2]
A→B: EKs[f(N2)]

что главные ключи Кa и Кb являются защищенными.

А →ЦРК:

IDA || IDB
ЦРК →А: EKa [KS || IDB || T || EKb[KS || IDA|| T]]
A→B: EKb[KS || IDA||T]
B →A: EKs[N1]
A→B: EKs[f(N1)]

Стороны А и В могут убедиться в соответствии времени, проверив неравенство
| Время - Т | < Δt1 + Δt2,
где Δt1 - оценка для среднего отклонения показаний локальных часов (А или В) от показаний часов ЦРК,
Δt2 — ожидаемое время задержки в сети.

Проблема :
часы отправителя опережают часы предполагаемого адресата
( возможны атаки задержки-воспроизведения).

|| NА
B→ЦРК: IDB || Nb

|| EKb[IDA || NА || Tb]
ЦРК →A: EKa [IDB || NА || Ks || Tb] || EKb [IDA || Ks || Tb] || Nb
A → B: EKb [IDA || Ks || Tb] || EKs [Nb]

Учет опасности
атак задержки-воспроизведения:

А →B: EKb [IDA || Ks || Tb], N’а
B →А: N’b, EKs [N’a]
A→B: EKs [N’b]

Протокол
завершения сеанса - начала нового сеанса связи.

→AS: IDA || IDB
AS →А: EKRаs [IDA || KUA

|| T] || EKRas[IDB || KUB|| T]
A→B: EKRas [IDA || KUA || T] || EKRas[IDB || KUB|| T] || EKUb [EKRa [Ks || T]]

Центральная система выступает в качестве сервера аутентификации (AS), т.к. не несет ответственности за распределение секретных ключей (скорее, AS обеспечивает сертификацию открытых ключей).

Протокол с применением оказий
А →ЦРК: IDA || IDB
ЦРК →А: EKRauth[IDB || KUb]
A→B: EKUb[NA || IDA]
B→ЦРК: IDB || IDA || EKUauth[NA]
ЦРК →B: EKRauth[IDA || KUa] || EKUb [EKRauth [NA || KS || IDB]]
B →A: EKUa [EKRauth[NA || KS || IDB] || Nb]
A→B: EKs[Nb]

EKRauth[IDB || KUb]
A→B: EKUb[NА ||

IDA]
B→ЦРК: IDB || IDA || EKUauth[NА]
ЦРК →B: EKRauth[IDA || KUa] || EKUb [EKRauth [NA || KS || IDA || IDB]]
B →A: EKUa [EKRauth[NA || KS || IDA || IDB] || Nb]
A→B: EKs[Nb]

Пара {IDA, NА} уникальным образом идентифицирует запрос на соединение со стороны А.

схемы шифрованного обмена электронной почтой.

А →ЦРК: IDA ||

IDB || N1
ЦРК →А: EKa [KS || IDB || N1 || EKb[KS || IDA]]
A→B: EKb[KS || IDA] || EKs[M]

Протокол не защищает от возможности воспроизведения сообщений.

Подходы на основе шифрования с открытым ключом

Главная задача - конфиденциальность:

A→B: EKb[KS] || EKs[M]

Эта схема более эффективна, чем простое шифрование всего сообщения открытым ключом стороны В.

Главная задача - аутентификация:

A→B: M || EKRa[H(M)]

(цифровая подпись)

|| EKRa[H(M)]



Обеспечение гарантии того, что открытый ключ пользователя А известен

пользователю В и что этот ключ не просрочен
(цифровое удостоверение):

A→B: M || EKRa[H(M)] || EKRas[T || IDA || KUa]]