Key establishment protocol

Подтверждение ключа (key confirmation) - свойство, посредством которого один участник протокола убеждается, что другой участник (возможно, неидентифицированный) действительно обладает секретными ключами, полученными в протоколе.
Явная аутентификация ключа (explicit key authentication) - свойство, которое выполняется, когда имеют место (неявная) аутентификация ключа и подтверждение ключа одновременно.

1. Протокол Нидхема-Шрёдера (Needham-Schroeder protocol) на симметричных ключах

Данный протокол лежит в основе большого количества протоколов распространения ключей, использующих доверенные центры. Существует два вида данного протокола:

• 
  Протокол Нидхема-Шрёдера на симметричных ключах;
  
• 
  Протокол Нидхема-Шрёдера на ассиметричных ключах.
  

Протокол на симметричных ключах работает следующим образом:
Предварительный этап:

1. 
   Необходимо наличие долговременных ключей и для общения с доверенного центра Т с А и B соответственно;
   
2. 
   А и B выбирают случайные одноразовые числа и соответственно.
   

Рабочий этап:

1. 
   Алиса отправляет Тренту сообщение, состоящее из идентификаторов Алисы, Боба и случайного числа
   
2. 
   На основании полученных данных Трент формирует сообщение, имеющее следующий вид: где K – новый сеансовый ключ;
   
3. 
   Алиса расшифровывает сообщение и проверяет его подлинность, осуществляя поиск числа . После этого она отправляет часть сообщения, зашифрованную на ключе Бобу:
   
4. 
   Боб получает и расшифровывает сообщение, достает из него ключ K и формирует сообщение для Алисы, состоящее из его случайного числа , зашифрованного на ключе К: ;
   
5. 
   Алиса получает сообщение, получает из него , меняет его и отправляет его обратно Бобу: ;
   
6. 
   Алиса и Боб владеют общим секретным ключом K.
   

2.