A little knowledge goes a long way: simple knowledge-based derivations and correctness proofs for a family of protocols
- 1 January 1987
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 269-280
- https://doi.org/10.1145/41840.41863
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: