Inproceedings,

Proofs that Yield Nothing But their Validity and a Methodology of Cryptographic Protocol Design (Extended Abstract)

, , and .
FOCS, page 174-187. IEEE Computer Society, (1986)

Meta data

Tags

Users

  • @dblp

Comments and Reviews