电子商务中安全协议的验证方法

Security Protocol Verification for E-Commerce

该文简述了电子商务中的安全协议验证技术,对目前的一些重要的研究方法进行了分析和比较,重点针对形式化的方法在电子商务中的安全协议验证中的优势和不足,结合实际,提出了一些可能的发展趋势。

This paper introduces the technology of security protocol verification for E-Commerce.By analyzing and comparing some important methods,authors attempt to outline some advantages and disadvantages in these methods,and make some suggestions of future work from the practice works.