Refinement of Security Protocol Data Types to Java (2006)

by Holger Grandy, Kurt Stenzel, Wolfgang Reif
Venue:In First Program Analysis for Security and Safety Workshop Discussion (PASSWORD 2006), co-located with the Twentieth European Conference on Object-Oriented Programming (ECOOP 2006