SET协议形式化模型的建立和安全性分析

• 作者: 刘晓霞 张宏 张若岩
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: SET协议 形式化模型 电子支付
• 年，卷（期）: 2009,（5）
• 所属期刊栏目: 基金项目论文
• 页码范围: 81-84
• 页数: 4页
• 分类号: TP3
• 字数: 4492字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2009.05.027

摘要

安全电子交易SET(Secure Electronic Transaction)协议通过制定标准和采用各种加密算法和身份认证来解决阻碍电子商务发展的许多安全问题.首先对SET协议注册阶段和购买阶段过程进行抽象,给出其形式化模型及模型描述.发现由于SET本身的缺陷可能导致的入侵者的攻击,以及该攻击对购买阶段中商家和持卡人造成的安全威胁,对协议的改进提供了有益的参考.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘晓霞	西北大学信息科学与技术学院	53	1012	18.0	30.0
2	张宏	西北大学信息科学与技术学院	17	529	12.0	17.0
3	张若岩	西北大学信息科学与技术学院	2	20	2.0	2.0