Notacja protokołu bezpieczeństwa - Security protocol notation

W kryptografii , bezpieczeństwa (inżynierskie) notacja protokół , znany również jako narracje protokołów i notacji Alice i Boba , jest sposobem wyrażania protokołu korespondencji pomiędzy podmiotami systemu dynamicznej, takiej jak sieć komputerową . W kontekście modelu formalnego umożliwia wnioskowanie o właściwościach takiego systemu.

Standardowa notacja składa się z zestawu głównych (tradycyjnie nazywanych Alice, Bob , Charlie itd.), Którzy chcą się komunikować. Mogą mieć dostęp do serwera S, kluczy współdzielonych K, znaczników czasu T i mogą generować wartości nonce N do celów uwierzytelniania.

Prosty przykład może wyglądać następująco:

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

Stwierdza on, że wszy zamierza wiadomość dla B ob składające się z tekstu jawnego X zaszyfrowanego pod klucz współdzielony K _{A, B} .

Innym przykładem może być:

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

Ten stwierdza, że B ob zamierza wiadomość dla A wszy składający się z n raz N _B szyfrowane za pomocą klucza publicznego Alicji.

Klucz z dwoma indeksami, K _{A, B} , jest kluczem symetrycznym współdzielonym przez dwie odpowiadające sobie osoby. Klucz z jednym indeksem dolnym, K _A , jest kluczem publicznym odpowiedniej osoby. Klucz prywatny jest odwrotnością klucza publicznego.

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

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

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

Bibliografia

Ten artykuł o kryptografii to skrót . Możesz pomóc Wikipedii, rozbudowując ją . v t mi