Neuman-Stubblebine

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

Протокол Neuman-Stubblebine пытается противостоять вскрытию с подавлением повторной передачи. Этот протокол является улучшением протокола Yahalom.

(1) A,R_A

K

(2) B, R_B, E_B(A, R_A, T_B)

(3) Е_А(В, R_A, К, Т_В), Е_В(А, К, Т_В), R_B

R_A

R_B

(4) Е_В(А, К, Т_В), E_K(R_B)

(1) Алиса объединяет свое имя и случайное число, и отправляет созданное сообщение Бобу.

A,R_A

(2) Боб объединяет имя Алисы, ее случайное число и метку времени, шифрует созданное сообщение общим с Трентом ключом и посылает его Тренту, добавляя свое имя и новое случайное число:

B, R_B, E_B(A, R_A, T_B)

(3) Трент генерирует случайный сеансовый ключ. Затем он создает два сообщения. Первое включает имя Боба, случайное число Алисы, случайный сеансовый ключ, метку времени и шифруется ключом, общим для Трента и Алисы. Второе состоит из имени Алисы, сеансового ключа, метки времени и шифруется ключом, общим для Трента и Боба. Трент посылает оба сообщения Алисе вместе со случайным числом Боба:

Е_А(В, R_A, К, Т_В), Е_В(А, К, Т_В), R_B

(4) Алиса расшифровывает сообщение, зашифрованное ее ключом, извлекает К и убеждается, что R_A совпадает со значением, отправленным на этапе (1). Алиса посылает Бобу два сообщения. Одним является сообщение Трента, зашифрованное ключом Боба. Второе - это R_B, зашифрованное сеансовым ключом.

Е_В(А, К, Т_В), E_K(R_B)

(5) Боб расшифровывает сообщение, зашифрованное его ключом, извлекает К и убеждается, что значения Т_В и R_B те же, что и отправленные на этапе (2).

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

У этого протокола есть еще одно полезное свойство - Алиса может использовать полученное от Трента сообщение для последующей проверки подлинности Боба в пределах некоторого времени. Предположим, что Алиса и Боб выполнили приведенный выше протокол, провели и завершили сеанс связи. Алиса и Боб могут повторно проверить подлинность друг друга, не обращаясь к Тренту.

(1) Алиса посылает Бобу сообщение, присланное ей Трентом на этапе (3) и новое случайное число

Е_В(А, К, Т_В), R'_A

(2) Боб посылает Алисе другое новое случайное число и случайное число, присланное Алисой, шифруя их сеансовым ключом связи

R'_В, E_K(R'_A)

(3) Алиса посылает Бобу его новое случайное число, шифруя его сеансовым ключом связи

E_k(R'_b)

Новые случайные числа защищают от вскрытия с повторно передачей.

Дата добавления: 2013-12-12