The methods certificating the natures of Electronic Commerce Protocols have always been constraining the development of Electronic Commerce.

• 电子商务协议的安全性、原子性、不可否认性等性质的验证的方法一直制约着电子商务的发展。