Refinement of Security Protocol Data Types to Java

by Holger Grandy , Kurt Stenzel , Wolfgang Reif
Citations:2 - 1 self