ISSE

Search

Refinement of Security Protocol Data Types to Java

Holger Grandy, Kurt Stenzel, Wolfgang Reif

Refinement of Security Protocol Data Types to Java

In this paper we illustrate the mapping of abstract data types to a real programming language during a refinement of security protocol specifications. We illustrate that new security and correctness problems arise on the concrete level and show a possible solution.
published 2006 PASSWORD at ECOOP 2006, Nantes, France, July 2006


Downloads:


Links: