Постулаты BAN-логики

       

Идеализация протокола


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

Сообщение 1 A à B: Ta, Na,

;

Сообщение 2 B à A: Na, Nb,

;

Сообщение 3 A à B: Nb,

.



Содержание раздела