V. Shoup. On formal models for secure key exchange - version 4. Technical Report RZ3120, IBM Zurich Research Lab, Nov. 1999.

 Home/Search   Document Details and Download   Summary   Related Articles  

This paper is cited in the following contexts:
Modelling and Security Analysis of Authenticated Group Key.. - Pereira (2003)   (4 citations)  (Correct)

No context found.

V. Shoup. On formal models for secure key exchange - version 4. Technical Report RZ3120, IBM Zurich Research Lab, Nov. 1999.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC