论文部分内容阅读
阐述了安全电子商务协议的安全属性,介绍了重要的安全电子商务协议,总结了近年来安全电子商务协议形式化分析方法的研究进展情况。文章最后对该领域主要的研究方向进行了展望。
The security attributes of secure e-commerce protocol are expounded, the important secure e-commerce protocols are introduced, and the research progress of formal analysis of secure e-commerce protocols is summarized. At the end of this article, the main research direction in this field is prospected.