No. 18 (2000): RS-18 Language, Semantics, and Methods for Cryptographic Protocols

Published: 2000-01-18