next up previous
Next: Station-to-Station Protocol Up: A Weakest Precondition Calculus Previous: Construction of Shared Secrets

Proofs of Exemplary Protocols

 





Jim Alves-Foss
Fri Aug 1 16:00:31 PDT 1997