||A Protocol Implementation Generator
||Probst, Christian W. (Language-Based Technology, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
||Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
||The thesis deals with the integration of static verification of security protocols
specifications and its safe translation into executable programming languages.
The thesis consists of a needed background information, a review of the state of
the art in this field, and explanation of a general framework that aims at achieving
the mentioned integration and a specific implementation of that framework
that achieves it.
||Technical University of Denmark (DTU) : Kgs. Lyngby, Denmark
Creation date: 2010-06-28
Update date: 2010-06-28