Nächste Seite: Reduktionsregeln
Aufwärts: Spezifizierung eines Protokolls für
Vorherige Seite: Operationen
  Inhalt
Hier werden die grundlegenden Wörter angegeben, wie z.B. Nutzernamen,
Keys, und Zufallszahlen. Kennt der Angreifer das Wort wird, es mit known
markiert (z.B. ein öffentlichen key), kennt er es nicht, so mit notknown (z.B.
hoffentlich bei dem privatekey eines KeyServers).
2003-01-22