Fault-preserving simplifying transformations for security protocols: Not Just the Needham Schroeder Public Key Protocol

Author: Hui M.L.  

Publisher: Ios Press

ISSN: 0926-227X

Source: Journal of Computer Security, Vol.9, Iss.1-2, 2001-01, pp. : 3-46

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract