基于CPAL-ES的SET协议研究

摘要：

　　本文介绍了安全协议分析语言(CPAL)以及SET协议的支付过程，并且在安全协议分析语言环境系统(CPAL-ES)中对SET进行检验，从而证实了基于CPALES的SET协议分析的可行性。

关键词： 安全协议 电子商务 检验模型 环境系统

作者: LIU Beilin 刘蓓琳 WANG Tong 王彤 DING Rijia 丁日佳

作者单位: School of computer Science of Beijing Technology and Business University,Bejing 100037 北京工商大学计算机学院,北京,100037 Department of Equipment Engineering of Beijing general research institute of mining and metallurgy,B 北矿磁材科技股份有限公司设备工程部,北京,100067 School of Administration of China University of Mining and Technology,Bejing 1000383 中国矿业大学管理学院,北京,100083

会议类型: 国内会议

会议名称: 第17届全国计算机新科技与计算机教育学术大会

会议地点: 厦门

会议语种:中文

页码: 117-120

在线出版日期: 2006-07-25（万方平台首次上网日期，不代表论文的发表时间）