Handling Infeasible Specifications fo Cryptographic Protocols

Li Gong. Handling Infeasible Specifications fo Cryptographic Protocols. In CSFW. pages 99-102, 1991.

Abstract

Abstract is missing.