| 安全电子商务协议的形式化分析 |
| |
| 引用本文： | 谭新莲,李磊. 安全电子商务协议的形式化分析[J]. 数学爱好者(高二版), 2008, 0(2) |
| |
| 作者姓名： | 谭新莲 李磊 |
| |
| 作者单位： | 河南郑州大学信息工程学院; |
| |
| 基金项目： | 河南省科技攻关资助项目(424220024) |
| |
| 摘 要： | 阐述了安全电子商务协议的安全属性,介绍了重要的安全电子商务协议,总结了近年来安全电子商务协议形式化分析方法的研究进展情况。文章最后对该领域主要的研究方向进行了展望。
|
| 关 键 词： | 电子商务协议 形式化方法 分析 安全协议 |
Formal Analysis of Security E-commerce Protocols |
| |
| Tan Xin-Lian,Li Le School of Information Engineering,Zhengzhou University. Formal Analysis of Security E-commerce Protocols[J]. , 2008, 0(2) |
| |
| Authors: | Tan Xin-Lian Li Le School of Information Engineering Zhengzhou University |
| |
| Abstract: | This Paper is a survey on the development of formal analysis of security e-commerce protocols. The properties of security e-commerce protocols are expatiated, and several important security e-commerce protocols are discussed. Finally, some major trends of research in this area are outlined. |
| |
| Keywords: | e-commerce protocols formal methods analysis security protocol |
| 本文献已被 CNKI 等数据库收录！ |
