An algebraic approach to the verification of a class of Diffie-Hellman protocols

Author: Delicata Rob   Schneider Steve  

Publisher: Springer Publishing Company

ISSN: 1615-5262

Source: International Journal of Information Security (IJIS), Vol.6, Iss.2-3, 2007-03, pp. : 183-196

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