Next:
Station-to-Station Protocol
Up:
A Weakest Precondition Calculus
Previous:
Construction of Shared Secrets
Proofs of Exemplary Protocols
Station-to-Station Protocol
Needham-Schroeder key distribution protocol
Jim Alves-Foss
Fri Aug 1 16:00:31 PDT 1997
