In diesem Vortrag geht es darum, Veränderungen von Nachrichten durch einen
Angreifer sicher zu erkennen. Nach der Vorstellung einiger Methoden wird eine
formale Definition für Sicherheit gegeben und diese für eine Reihe von
Verfahren nachgewiesen.
Literatur: [8] Chapter 7