Yuqing Zhang, Jihong Li, Guozhen Xiao. An Approach to the Formal Verification of the Two-Party Crypographic Protocols. Operating Systems Review, 33(4):48-51, 1999.
No references recorded for this publication.
No citations of this publication recorded.