Li Gong Handling Infeasible Specifications fo Cryptographic Protocols. 99-102 1991 CSFW db/conf/csfw/csfw1991.html#Gong91