| SET协议形式化模型的建立和安全性分析 |
| |
| 引用本文： | 张若岩,刘晓霞,张宏. SET协议形式化模型的建立和安全性分析[J]. 计算机应用与软件, 2009, 26(5) |
| |
| 作者姓名： | 张若岩 刘晓霞 张宏 |
| |
| 作者单位： | 西北大学信息科学与技术学院,陕西,西安,710127 |
| |
| 基金项目： | 陕西省自然科学基金，航空科学基金 |
| |
| 摘 要： | 安全电子交易SET(Secure Electronic Transaction)协议通过制定标准和采用各种加密算法和身份认证来解决阻碍电子商务发展的许多安全问题.首先对SET协议注册阶段和购买阶段过程进行抽象,给出其形式化模型及模型描述.发现由于SET本身的缺陷可能导致的入侵者的攻击,以及该攻击对购买阶段中商家和持卡人造成的安全威胁,对协议的改进提供了有益的参考.
|
| 关 键 词： | SET协议 形式化模型 电子支付 |
FORMAL MODEL ESTABLISHMENT AND SECURITY ANALYSIS FOR SET PROTOCOL |
| |
| Zhang Ruoyan,Liu Xiaoxia,Zhang Hong. FORMAL MODEL ESTABLISHMENT AND SECURITY ANALYSIS FOR SET PROTOCOL[J]. Computer Applications and Software, 2009, 26(5) |
| |
| Authors: | Zhang Ruoyan Liu Xiaoxia Zhang Hong |
| |
| Affiliation: | Department of Information Science and Technology;Northweast University;Xi'an 710127;Shaanxi;China |
| |
| Abstract: | |
| |
| Keywords: | SET Protocol Formal model Electronic payment |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
