SucheRefinement 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.
erschienen 2006
PASSWORD at ECOOP 2006, Nantes, France, July 2006
Downloads:
- 2006-password - (2006-password.pdf, 0 KB)