Authenticated key exchange (AKE) ⇒ KE

Authenticated key exchange (AKE) implies KE.

Statement

Migrated verbatim from key-exchange:

An AKE additionally guarantees that the parties authenticate each other’s identities during the protocol, preventing man-in-the-middle attacks.

Notes

source: folklore: the claim carried no citation on the page it was migrated from, and none was invented.

class: unstated: no citing page says which notion of reduction is meant. Recording a class the wiki does not state would add a claim.

Recorded during migration and not fixed — these are claims about the source text, not changes to it:

• Variation section; AKE ⇒ KE is implicit, never asserted. No citation. No slug for AKE.