Denning-Sacco

DASS

Протоколы Распределенной службы безопасности и проверки подлинности (Distributed Authentication Security Service, DASS), созданные в Digital Equipment Corporation, также обеспечивают обоюдную проверку подлинности и обмен ключами. В отличие от предыдущего протокола DASS использует как криптографию с открытыми ключами, так и симметричную криптографию. И у Алисы, и у Боба есть свой закрытый ключ. Трент подписывает копии их открытых ключей.

(1) В

(2) S_T(B, K_b)

(3) Е_К(Т_А), S_Ka(L, А, К_р), S_Kp(Е_KB(К))

(4) A

K

K_p

(5) S_t(A, K_a)

(7) Е_К(Т_В)

(1) Алиса посылает Тренту сообщение, состоящее из имени Боба.

В

(2) Трент посылает Алисе открытый ключ Боба, К_В, подписанный закрытым ключом Трента, Т. Подписанное сообщение содержит имя Боба.

S_T(B, K_b)

(3) Алиса проверяет подпись Трента, убеждаясь, что она действительно получила открытый ключ Боба. Она генерирует случайный сеансовый ключ, К, и случайную пару ключей открытый/закрытый, К_р. Она шифрует метку времени ключом К, а затем подписывает время жизни L, свое имя и сгенерированный случайный открытый ключ К_р своим закрытым ключом К_А. Наконец, она зашифровывает К открытым ключом Боба и подписывает его с помощью К_р. Все это она отправляет Бобу.

Е_K(Т_А), S_Ka(L, А, К_р), S_Kp(Е_KB(К))

(4) Боб посылает Тренту (это может быть другой Трент) сообщение, состоящее из имени Алисы.

А

(5) Трент посылает Бобу открытый ключ Алисы, К_А, подписанный закрытым ключом Трента. Подписанное сообщение содержит имя Алисы.

S_t(A, K_a)

(6) Боб проверяет подпись Трента, убеждаясь, что он действительно получил открытый ключ Алисы. Затем он проверяет подпись Алисы и извлекает К_р. Боб использует свой закрытый ключ, извлекая К. Затем он расшифровывает Т_А, проверяя, что это сообщение ‑ текущее.

(7) Если требуется обоюдная проверка подлинности, Боб шифрует новую метку времени ключом К и посылает ее Алисе.

Е_К(Т_В)

(8) Алиса расшифровывает Т_В ключом К, проверяя, что это сообщение - текущее.

SPX, продукт DEC, основан на DASS.

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

(1) A, В

(2) S_T(B, K_B), S_T(A, K_A)

(3) E_B(S_A(K, T_A)), S_t(A, K_A), S_t(B, К_B)

K

(1) Алиса посылает Тренту сообщение, состоящее из ее имени и имени Боба.

A, В

(2) Трент посылает Алисе открытый ключ Боба, К_B, подписанный закрытым ключом Трента, Т. Трент также посылает Алисе ее собственный открытый ключ, К_А, подписанный закрытым ключом Трента.

S_T(B, K_B), S_T(A, K_A)

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

E_B(S_A(K, T_A)), S_t(A, K_a), S_t(B, К_в)

(4) Боб расшифровывает сообщение Алисы с помощью своего закрытого ключа и проверяет подпись Алисы с помощью ее открытого ключа. Он также убеждается, что метка времени правильна.

С этого момента Алиса и Боб получили К и могут провести безопасный сеанс связи. Это выгляди красиво, но есть одна тонкость ‑ выполнив протокол с Алисой, Боб сможет выдать себя за Алису.

(1) В, C

(2) S_T(B, K_B), S_T(C, K_C)

(3) E_C(S_A(K, T_A)), S_T(A, K_A), S_T(C, К_C)

K

(1) Боб посылает Тренту свое имя и имя Кэрол.

B, С

(2) Трент посылает Бобу подписанные открытые ключи Боба и Кэрол.

S_T(B, K_B), S_T(C, К_C)

(3) Боб посылает Кэрол подписанный случайный сеансовый ключ и метку времени, ранее полученные от Алисы, зашифровав их открытым ключом Кэрол, вместе с подтверждением Алисы и подтверждением Кэрол.

E_C(S_A(K, T_A)), S_T(A, K_A), S_T(C, К_C)

(4) Кэрол расшифровывает сообщение Алисы с помощью своего закрытого ключа и проверяет подпись Алисы с помощью ее открытого ключа. Он также убеждается, что метка времени правильна.

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

E_B(S_A(A, В, К, Т_А)), S_T(A, K_A), S_T(B, K_B)

Теперь Боб не сможет повторно послать Кэрол старое сообщение, потому что оно явно предназначено для сеанса связи между Алисой и Бобом.

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