ASN1-light: A Verified Message Encoding for Security Protocols.

Mon, 01 Jan 2007 00:00:00 +0100

Holger Grandy, Robert Bertossi, Kurt Stenzel, Wolfgang Reif :
ASN1-light: A Verified Message Encoding for Security Protocols. SEFM 2007: 195-204