Notacja protokołu bezpieczeństwa

W kryptografii notacja protokołów bezpieczeństwa (inżynieryjnych) , znana również jako narracje protokołów i notacja Alice & Bob , jest sposobem wyrażania protokołu korespondencji między podmiotami systemu dynamicznego, takiego jak sieć komputerowa . W kontekście modelu formalnego pozwala wnioskować o właściwościach takiego systemu.

Standardowa notacja składa się z zestawu zleceniodawców (tradycyjnie nazywanych Alicja, Bob , Charlie itd.), którzy chcą się komunikować. Mogą mieć dostęp do serwera S, współdzielone klucze K, znaczniki czasu T i mogą generować liczby jednorazowe N do celów uwierzytelniania.

Prosty przykład może być następujący:

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

Stwierdza to, że A wszy zamierza wysłać wiadomość dla Bob składającą się z zwykłego tekstu X zaszyfrowanego pod wspólnym kluczem KA _,B .

Innym przykładem może być następujący:

$} _ {K_ {A}}}$

Oznacza to, że NB _Bob zamierza wysłać wiadomość dla A wszy składającą się z n raz zaszyfrowanej przy użyciu klucza publicznego Alicji.

Klucz z dwoma indeksami dolnymi, KA _,B , jest kluczem symetrycznym wspólnym dla dwóch odpowiednich indywiduów. Klucz z jednym indeksem dolnym, K _A , jest kluczem publicznym odpowiedniej osoby. Klucz prywatny jest reprezentowany jako odwrotność klucza publicznego.

Notacja określa tylko operację, a nie jej semantykę — na przykład szyfrowanie klucza prywatnego i podpis są reprezentowane identycznie.

W ten sposób możemy wyrazić bardziej skomplikowane protokoły. Zobacz Kerberos jako przykład. Niektóre źródła określają tę notację jako Kerberos Notation . Niektórzy autorzy uważają notację używaną przez Steinera, Neumana i Schillera za godne uwagi odniesienie.

Istnieje kilka modeli uzasadniających protokoły bezpieczeństwa w ten sposób, z których jednym jest logika BAN .

Notacja protokołu bezpieczeństwa zainspirowała wiele języków programowania używanych w programowaniu choreograficznym .