Dolev – Yao model - Dolev–Yao model - Wikipedia

The Dolev – Yao model,^[1] pojmenoval podle jeho autorů Danny Dolev a Andrew Yao, je formální model slouží k prokázání vlastností interaktivních kryptografických protokolů.^[2][3]

Síť

Síť je reprezentována sadou abstraktních strojů, které si mohou vyměňovat zprávy. Tyto zprávy se skládají z formálních termínů. Tyto pojmy odhalují část vnitřní struktury zpráv, ale některé části snad zůstanou protivníkovi neprůhledné.

Protivník

Protivník v tomto modelu může vyslechnout, zachytit a syntetizovat jakoukoli zprávu a je omezen pouze omezeními použitých kryptografických metod. Jinými slovy: „útočník nese zprávu.“

Tento všemohoucnost bylo velmi obtížné modelovat a mnoho modelů hrozeb to zjednodušuje, jako například útočník v všudypřítomné výpočty.

Algebraický model

Kryptografické primitivy jsou modelovány abstraktními operátory. Například asymetrické šifrování pro uživatele ${ displaystyle x}$ je reprezentována funkcí šifrování ${ displaystyle E_ {x}}$ a dešifrovací funkce ${ displaystyle D_ {x}}$. Jejich hlavní vlastnosti spočívají v tom, že jejich složení je funkce identity (${ displaystyle D_ {x} E_ {x} = E_ {x} D_ {x} = 1}$) a že šifrovaná zpráva ${ displaystyle E_ {x} (M)}$ nic o tom neodhalí ${ displaystyle M}$. Na rozdíl od skutečného světa nemůže protivník ani manipulovat bitovou reprezentaci šifrování, ani uhádnout klíč. Útočník však může znovu použít všechny zprávy, které byly odeslány, a proto se staly známými. Útočník je může zašifrovat nebo dešifrovat pomocí libovolných klíčů, které zná, a vytvořit tak další zprávy.

Protokol je modelován jako sada postupných běhů, které se střídají mezi dotazy (odesílání zprávy po síti) a odpověďmi (získávání zprávy ze sítě).

Poznámka

Díky symbolické povaze modelu Dolev – Yao je tento model lépe ovladatelný než výpočetní modely a přístupný algebraický metody, ale potenciálně méně realistické. Oba typy modelů pro kryptografické protokoly však byly příbuzné.^[4] Symbolické modely jsou také velmi vhodné k tomu, aby ukázaly, že protokol je zlomený, spíše než bezpečný, za daných předpokladů o schopnostech útočníků.

Viz také

• Bezpečnostní
• Kryptografický protokol

Reference