We perform a security analysis and heuristically argue that the protocol obtains all desired security attributes.

• 随后，我们提出了第一个无证书三方密钥协商协议。