Beta 1

Title A Protocol Implementation Generator
Author Quaresma, Jose
Supervisor Probst, Christian W. (Language-Based Technology, Department of Informatics and Mathematical Modeling, Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark)
Institution Technical University of Denmark, DTU, DK-2800 Kgs. Lyngby, Denmark
Thesis level Master's thesis
Year 2010
Abstract 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.
Imprint Technical University of Denmark (DTU) : Kgs. Lyngby, Denmark
Series IMM-M.Sc.-2010-42
Original PDF ep10_42.pdf (1.80 MB)
Admin Creation date: 2010-06-28    Update date: 2010-06-28    Source: dtu    ID: 264185    Original MXD