Обозначение протокола безопасности

В криптографии — обозначение протокола безопасности (инжиниринга) , также известное как повествование протокола. и нотация Алисы и Боба — это способ выражения протокола соответствия между объектами динамической системы, такой как компьютерная сеть . В контексте формальной модели это позволяет рассуждать о свойствах такой системы.

Стандартная нотация состоит из набора участников (традиционно называемых Алисой, Бобом , Чарли и т. д.), желающих общаться. Они могут иметь доступ к серверу S, общим ключам K, меткам времени T и могут генерировать одноразовые номера N для целей аутентификации.

Простым примером может быть следующее:

$A\rightarrow B:\{X\}_{K_{A,B}}$

Это означает, что A ob сообщение, вши намереваются передать B состоящее из открытого текста X, зашифрованного общим ключом K _A,B .

Другим примером может быть следующее:

$B\rightarrow A:\{N_{B}\}_{K_{A}}$

Это означает, что B ob намеревается отправить сообщение для A вшей, состоящее из n раз N _B, зашифрованное с использованием открытого ключа Алисы.

Ключ с двумя индексами KA _,B — это симметричный ключ, общий для двух соответствующих лиц. Ключ с одним индексом является _KA открытым ключом соответствующего человека. Закрытый ключ представлен как инверсия открытого ключа.

Обозначение определяет только операцию, а не ее семантику — например, шифрование и подпись с закрытым ключом представлены одинаково.

Таким образом мы можем выражать более сложные протоколы. См. Kerberos пример . Некоторые источники называют эту нотацию Kerberos Notation . Некоторые авторы считают обозначения, используемые Штейнером, Нейманом и Шиллером. как примечательная ссылка.

Существует несколько моделей такого подхода к протоколам безопасности, одна из которых — логика BAN .

Нотация протокола безопасности вдохновила многие языки программирования, используемые в хореографическом программировании .