Symmetisch Verschlüsseln
X = (SEnc K) Q

Symmetrisch Entschlüsseln
Q = (SDec K) X

Asymetrisch Verschlüsseln
X = (AEnc PubA) Q

Asymetrisch Entschlüsseln
Q = (ADec PrvA) X

Null-Funktion
Q = (Null) Q

Eingabe durch Benutzer
IN

Erwartete Eingabe durch Benutzer
INe

Verschlüsselungsverfahren:
ENC

Authentifizierung von A nach B
AUT: A->B

-----

Beispiel

AUT: A->B (IN->INe)

S = (Hash) INe

M = (Hash) IN

M = S ?