Refinement of Security Protocol Data Types to Java (2006)

by Holger Grandy, Kurt Stenzel, Wolfgang Reif
Venue:In PASSWORD Workshop 2006 at ECOOP 2006