Schreinert.com » Verifikation http://www.schreinert.com Software-Entwicklung • IT-Projektmanagement • E-Commerce-Beratung Sat, 23 Jul 2011 08:46:07 +0000 en hourly 1 http://wordpress.org/?v=3.2.1 Modellierung und Verifikation kryptographischer Protokolle mit Zustandsautomaten http://www.schreinert.com/modellierung-und-verifikation-kryptographischer-protokolle-mit-zustandsautomaten-8/ http://www.schreinert.com/modellierung-und-verifikation-kryptographischer-protokolle-mit-zustandsautomaten-8/#comments Wed, 01 Jan 2003 10:37:31 +0000 Stefan Schreinert http://www.schreinert.com/modellierung-und-verifikation-kryptographischer-protokolle-mit-zustandsautomaten-8/ Im Rahmen des Aufbaustudiums nahm ich an einem Kryptographie-Seminar teil. Das von mir auszuarbeitende Thema beschäftigt sich mit der Modellierung und Verifikation kryptographischer Protokolle mit Zustandsautomaten.

Abstract: Kryptographische Protokolle spielen im täglichen Leben eine immer wichtigere Rolle. Doch für einen sicheren Einsatz der Protokolle ist es von entscheidender Bedeutung, dass die kryptographischen Verfahren korrekt sind. Da die menschliche Kontrolle nicht ausreichend ist, bedarf es einer automatisierten Überprüfung durch einen Computer. Diese Arbeit zeigt, wie kryptographische Protokolle weitestgehend automatisch veriziert werden können, indem die Protokolle auf endliche Zustandsautomaten übertragen werden. Nach den theoretischen Grundlagen wird abschließend gezeigt, wie das Needham-Schröder Protokoll mithilfe des Werkzeugs Murφ modelliert und verifiziert werden kann.

Die Seminararbeit ist hier vollständig nachlesbar: Modellierung und Verifikation kryptographischer Protokolle mit Zustandsautomaten

]]> http://www.schreinert.com/modellierung-und-verifikation-kryptographischer-protokolle-mit-zustandsautomaten-8/feed/ 1