next up previous contents
Nächste Seite: Reduktionsregeln Aufwärts: Spezifizierung eines Protokolls für Vorherige Seite: Operationen   Inhalt

Wortbausteine (Atoms)

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