This paper gives the formal description of the two-party protocol, and discusses the security, authenticability and verifiability for two-praty protocols.

论文首先给出协议的形式化描述，然后讨论了协议的安全性、可鉴别性和可验证性。