DASS (protokol)

Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od verze recenzované 12. prosince 2021; kontroly vyžadují 4 úpravy . Kryptografické zápisy používané v protokolech autentizace a výměny klíčů

$A$	Identifikátory Alice ( Alice ), iniciátorky sezení
$B$	Identifikátor Boba ( Bob ), strany, ze které je relace navázána
$T$	Identifikátor společnosti Trent ( Trent ), důvěryhodné zprostředkující strany
$K_{A},K_{B},K_{T}$	Veřejné klíče Alice, Boba a Trenta
$K_{A}^{-1},K_{B}^{-1},K_{T}^{-1}$	Tajné klíče Alice, Boba a Trenta
$E_{A},\left\{...\right\}_{K_{A}}$	Šifrování dat pomocí klíče Alice nebo společného klíče Alice a Trenta
$E_{B},\left\{...\right\}_{K_{B}}$	Šifrování dat pomocí Bobova klíče nebo Bobova a Trentova společného klíče
$\left\{...\right\}_{K_{B}^{-1}},\left\{...\right\}_{K_{A}^{-1}}$	Šifrování dat pomocí tajných klíčů Alice, Bob (digitální podpis)
$já$	Pořadové číslo relace (aby se zabránilo útokům z opakovaného přehrávání)
$K$	Náhodný klíč relace, který se má použít pro symetrické šifrování dat
$E_{K},\left\{...\right\}_{K}$	Šifrování dat pomocí dočasného klíče relace
$T_{A},T_{B}$	Časová razítka přidaná do zpráv od Alice a Boba
$R_{A},R_{B}$	Náhodná čísla ( nonce ), která vybrala Alice a Bob
$K_{A},K_{B},K_{T}$	Alice, Bob a Trent předem vygenerované páry veřejného a soukromého klíče
$K_{p}$	Náhodný pár veřejného/soukromého klíče relace, který se má použít pro asymetrické šifrování
$S_{A},S_{B},$ $S_{T},S_{K_{p))$	Podepisování dat pomocí soukromého klíče Alice, Boba, zprostředkující strany ( Trent ) nebo soukromého klíče z náhodného páru, resp.
$E_{K_{A)),E_{K_{B)),$ $E_{K_{T)),E_{K_{p))$	Asymetrické šifrování dat pomocí veřejného klíče Alice, Boba, prostředníka ( Trent ) nebo veřejného klíče z náhodného páru, resp.

Protokol DASS ( Distributed Authentication Security Service ) je asymetrický protokol pro ověřování a distribuci klíče relace využívající zprostředkující důvěryhodnou stranu.

Protokol DASS byl součástí DASS Distributed Authentication Service vyvinuté společností Digital Equipment Corporation a popsané v RFC 1507 [1] v září 1993.

V protokolu DASS, podobném protokolům Wide-Mouth Frog a Denning-Sacco , iniciátor (Alice) generuje jak nový klíč relace, tak pro každou relaci protokolu nový pár veřejného/soukromého klíče odesílatele. Důvěryhodná autorita (Trent) se používá jako úložiště pro certifikáty veřejného klíče účastníků. Na rozdíl od Denninga - Sacca se ale oba účastníci obracejí na důvěryhodné centrum [2] .

Popis protokolu

Alice pošle zprávu Trentovi s žádostí o Bobův veřejný klíč

Alice\to \left\{B\right\}\to Trent

Trent pošle Bobův veřejný klíč a podepíše ho svým soukromým klíčem.

Trent\to \left\{S_{T}\left(B,K_{B}\right)\right\}\to Alice

Alice zkontroluje data pomocí Trentova veřejného klíče, který je jí předem znám, a poté vygeneruje klíč relace , pár klíčů relace a pošle Bobovi sadu zpráv, včetně časového razítka a životnosti klíče , přičemž některé z nich zašifruje a některé podepíše: $K$ $K_{P}$ $T_{A}$ $L$

Alice\to \left\{E_{K}\left(T_{A}\right),S_{A}\left(L,A,K_{P}\right),S_{K_{P} }\left(E_{K_{B}}\left(K\right)\right)\right\}\to Bobovi

Bob pošle Trentovi žádost o Aliciin veřejný klíč

Bob\to \left\{A\right\}\to Trent

Trent pošle Alicin veřejný klíč a podepíše ho svým soukromým klíčem.

Trent\to \left\{S_{T}\left(A,K_{A}\right)\right\}\to Bob

Pomocí dat ze zpráv Alice a Trenta Bob zkontroluje podpisy Alice, extrahuje veřejný dočasný klíč , extrahuje klíč relace (zkontroluje také podpis pomocí ) a dešifruje , aby se ujistil, že použije aktuální zprávu a ne přehrání. $K_{P}$ $K$ $K_{P}$ $T_{A}$

V případě potřeby lze v protokolu pokračovat a poskytnout vzájemnou identifikaci stran:

Bob\to \left\{E_{K}\left(T_{B}\right)\right\}\to Alice

Alice dešifruje časové razítko a ujistí se, že obdržela aktuální zprávu [3] .

Alternativní popis protokolu

Popis protokolu se řídí principem APTC, který eliminuje rozdíly ve strukturách přechodového systému, struktuře událostí atd. a zohledňuje jejich behaviorální ekvivalenty. Věří, že existují dva druhy kauzálních vztahů: chronologické pořadí, modelované sekvenčním složením, a kauzální pořadí mezi různými paralelními větvemi, modelované komunikační fúzí. Také se domnívá, že existují dva typy konfliktních vztahů: strukturální konflikt modelovaný alternativní pozicí a konflikty v různých paralelních větvích, které je třeba odstranit. Na základě konzervativního rozšíření má IPTC čtyři moduly: BATC (Basic Algebra for True Concurrency), APTC (Algebra for Parallelism in True Concurrency), rekurze a abstrakce. Přečtěte si více… [4]

Chyby zabezpečení v protokolu DASS

Protokol používá dobu trvání (𝐿) klíče relace 𝐾𝑃, ale zpráva neobsahuje žádné časové razítko. V důsledku toho zůstává protokol zranitelný vůči útoku známého klíče relace (KN). Předpokládejme, že Mallory dokázala zaznamenat kompletní komunikační relaci mezi Alicí a Bobem a poté měla přístup ke klíči relace 𝐾. To umožňuje Mallory autentizovat se jako Alice Bobovi.

(1) 𝑀𝑒𝑙𝑙𝑜𝑟𝑦 (𝐴𝑙𝑖𝑐𝑒) → {𝐸𝐾 (𝑇𝑀), 𝑆𝐴 (𝐿, 𝐴, 𝐾𝑃), 𝑆𝐾𝑃 (𝐸𝐵 (𝐾))} 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏 𝐵𝑜𝑏

(2) 𝐵𝑜𝑏 → {𝐴} → 𝑇𝑟𝑒𝑛𝑡

(3) 𝑇𝑟𝑒𝑛𝑡 → {𝑆𝑇 (𝐴, 𝐾𝐴)} → 𝐵𝑜𝑏

(4) 𝐵𝑜𝑏 → {𝐸𝐾 {𝑇𝐵}} → 𝑀𝑒𝑙𝑙𝑜𝑟𝑦 (𝐴𝑙𝑖𝑐𝑒)

Při prvním průchodu Mallory změní pouze první zprávu obsahující časové razítko 𝐸𝐾 (𝑇𝑀). Vše ostatní Mallory zkopíruje z nahrané komunikační relace. Pokud si Bob nezapíše klíče, které používá, změny si nevšimne. Nejjednodušší opravou této chyby zabezpečení je zahrnout do zprávy časové razítko 𝑆𝐴 (𝑇𝐴, 𝐿, 𝐴, 𝐾𝑃).

Protože v protokolu je klíč relace 𝐾 zašifrován Bobovým „hlavním“ klíčem 𝐾𝐵, kompromitace tohoto klíče povede ke kompromitaci všech dříve používaných klíčů relace. To znamená, že protokol neposkytuje dokonalé dopředné utajení (cíl G9). Trent ani Bob nejsou zapojeni do generování nových klíčů relace. Proto může Alice přinutit Boba, aby použil starý klíč relace, jako v protokolech Wide-Mouth Frog a Yahalom [2] .

Poznámky

↑ Charles Kaufman. DASS Distributed Authentication Security Service . datatracker.ietf.org P.10(119) (září 1993). Získáno 17. září 2021. Archivováno z originálu dne 17. září 2021.
↑ 1 2 Vladimirov S.M. Gabidulin E.M. Kolybelnikov A.I. Kshevetsky AS - kryptografické metody ochrany informací. Učebnice .. - 2019. - S. 225,226. — 409 s.
↑ Bruce Schneier. Aplikovaná kryptografie, druhé vydání: Protokoly, algoritmy a zdrojový kód v C (látka). — (Vydavatel: John Wiley & Sons, Inc.), 01.01.96. - S. 99-100. — 1027 s. — ISBN 0471128457 .
↑ Yong Wang. Algebra bezpečných procesů . - 13. ledna 2021. - S. P. 2, 103-108. — 168 str. Archivováno 29. října 2021 na Wayback Machine

Literatura

Schneier B. DASS Protocol // Aplikovaná kryptografie. Protokoly, algoritmy, zdrojový kód v jazyce C = Aplikovaná kryptografie. Protocols, Algorithms and Source Code in C. - M .: Triumph, 2002. - S. 83-84. — 816 s. - 3000 výtisků. - ISBN 5-89392-055-4 .

Protokoly ověřování a výměny klíčů
Se symetrickými algoritmy	Širokoústa žába Yahalom Protokol Needham-Schroeder Protokol Otway-Risa Kerberos Protokol Newman-Stubblebine
Se symetrickými a asymetrickými algoritmy	DASS Protokol Denning-Sacco Wu Lam protokol SPKM
Protokoly a služby používané na internetu	OAuth Otevřít ID Windows Live ID