Aufgrund der zunehmenden Nutzung von Protokollen mit assymetrischen Verschlüsselungsverfahren ist die Untersuchung deren Sicherheit von zunehmender Bedeutung. Das hierzu die informale Diskussion nicht (immer) ausreicht haben Fehler wie im Protokoll von Needham und Schröder in der Vergangenheit gezeigt. Oftmals übersteigt die Komplexität solcher Protokolle die Möglichkeiten informaler Analysen bei weitem.