|
|||||
|
|
| 电子商务安全协议及其非单调动态逻辑验证 | |
| 引用本文： | 陈庆锋,白硕,王驹,张师超,隋立颖.电子商务安全协议及其非单调动态逻辑验证[J].软件学报,2000,11(2):240-250. |
| 作者姓名： | 陈庆锋 白硕 王驹 张师超 隋立颖 |
| 作者单位： | 1. 国家智能计算机研究开发中心,北京,100080;广西师范大学数学与计算机科学系,桂林,541004 2. 国家智能计算机研究开发中心,北京,100080 3. 中国科学院软件研究所,北京,100080 4. 广西师范大学数学与计算机科学系,桂林,541004 |
| 基金项目： | 本文研究得到国家863高科技项目基金(No.863-306-ZD-10-02)资助. |
| 摘 要： | 该文介绍了SET(secure electronic transactions)的付费业务流程,对NDL(non-monotomic dynamic logic)的逻辑框架进行了扩展,即针对SET协议,增加了新的公理,重新给出积累规则的定义.在此基础上,用对SET中的几个重要的范例进行的逻辑验证,说明了NDL在验证电子商务协议上的重要性,并初步提出了积累规则中需要进一步研究的问题. |
| 关 键 词： | 信息安全 逻辑验证 电子商务 注册 付费. |
| 收稿时间： | 4/3/1998 12:00:00 AM |
| 修稿时间： | 2998-04-03 |
The Secure Electronic Transactions Protocol and Its Logical Verification with Non-Monotomic Dynamic Logic |
|
| CHEN Qing-feng,BAI Shuo,WANG Ju,ZHANG Shi-chao and Sui Li-ying.The Secure Electronic Transactions Protocol and Its Logical Verification with Non-Monotomic Dynamic Logic[J].Journal of Software,2000,11(2):240-250. | |
| Authors: | CHEN Qing-feng BAI Shuo WANG Ju ZHANG Shi-chao and Sui Li-ying |
| Abstract: | |
| Keywords: | Information security logical verification electronic commerce registration payment |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载全文 | |