Безпека базується на складності задачі дискретного логарифмування у скінченних циклічних групах

Параметри p (велике просте число) та g (генератор) є загальнодоступними і не впливають на безпеку протоколу

Спільний секрет є прямою сумою приватних ключів сторін, що верифікується публічними значеннями

Аліса обчислює A = g^a (mod p), Боб — B = g^b (mod p); після обміну Аліса отримує K = B^a (mod p) = g^(ab) (mod p), Боб — K = A^b (mod p) = g^(ab) (mod p)

Кільцевий підпис неможливо застосувати в IoT через відсутність механізму верифікації без центрального сервера

Кільцевий підпис є переважним у IoT через фіксований розмір підпису незалежно від кількості пристроїв у кільці

Групові lattice-based схеми на Module-SIS забезпечують постквантову стійкість для смарт-міст, поєднуючи анонімність з можливістю відкликання за потреби

Груповий підпис надає revocable anonymity через менеджера групи, що дозволяє видаляти та додавати членів без компрометації анонімності решти учасників

WireGuard застосовує принцип «криптографічної непохитності» (crypto-opinionated): фіксований набір примітивів без переговорів про алгоритми

TLS 1.3 забезпечує гнучкість через підтримку кількох шифронаборів, WireGuard — простоту та передбачуваність через єдиний фіксований набір

WireGuard використовує SipHash-2-4 для автентифікації пакетів та захисту від DoS-атак на хеш-таблиці

WireGuard використовує виключно ChaCha20-Poly1305 та BLAKE2s замість AES-GCM і SHA-2 через вищу продуктивність без апаратного прискорення AES

OSPF

TRILL

DSR

AODV

Модель Шеннона визначає безпеку через абсолютну неможливість зламу — шифр є ідеально безпечним, якщо шифротекст не дає жодної інформації про відкритий текст навіть для всесильного зловмисника

Обчислювальна модель визначає безпеку через обмеженість ресурсів PPT-атакуючого, дозволяючи створювати практичні системи без необхідності ключів, довших за відкритий текст

Задача CDH є прикладом обчислювальної складності, на якій будується безпека DH: не існує PPT-алгоритму, що обчислює g^(ab) з не-нехтовним Advantage

Обчислювальна модель є менш строгою, ніж модель Шеннона, тому не може використовуватися для доведення безпеки серйозних протоколів