电子商务安全协议及其非单调动态逻辑验证-中国学术期刊网络出版总库

中国学术期刊网络出版总库

关闭

电子商务安全协议及其非单调动态逻辑验证

推荐 CAJ下载

PDF下载

【英文篇名】	The Secure Electronic Transactions Protocol and Its Logical Verification with Non-Monotomic Dynamic Logic
【下载频次】	★★★★☆
【作者】	陈庆锋; 白硕; 王驹; 张师超; 隋立颖;
【英文作者】	CHEN Qing feng 1; 2 \ BAI Shuo 1\ WANG Ju 3\ ZHANG Shi chao 2\ Sui Li ying 1 1 (National Research Center for Intelligent Computing Systems\ Beijing\ 100080) 2 (Department of Mathemetics Computer Science\ Guangxi Normal University\ Guilin\ 5;
【作者单位】	国家智能计算机研究开发中心; 中国科学院软件研究所; 广西师范大学数学与计算机科学系;
【文献出处】	软件学报 , JOURNAL OF SOFTWARE, 编辑部邮箱 2000年 02期期刊荣誉：中文核心期刊要目总览 ASPT来源刊中国期刊方阵 CJFD收录刊
【中文关键词】	信息安全; 逻辑验证; 电子商务; 注册; 付费;
【英文关键词】	Information security; logical verification; electronic commerce; registration; payment.;
【摘要】	该文介绍了 SET(secure electronic transactions)的付费业务流程 ,对 NDL (non- monotomic dynamiclogic)的逻辑框架进行了扩展 ,即针对 SET协议 ,增加了新的公理 ,重新给出积累规则的定义 .在此基础上 ,用对 SET中的几个重要的范例进行的逻辑验证 ,说明了 NDL在验证电子商务协议上的重要性 ,并初步提出了积累规则中需要进一步研究的问题 .
【英文摘要】	This paper introduces the payment process of SET (secure electronic transactions) protocol, and extends the logical framework of NDL to fit the purpose of logical verification of SET. This means to add some new axioms about SET protocols and redefine some given inference rules. Based on these, the logical verification for key fragments of SET protocol is given to show the importance of NDL and its extensions in E commerce. Topics for further research on the “Rule of Accumulation” are also proposed.
【基金】	国家 8 6 3高科技项目基金! (No.86 3- 30 6 - ZD- 10 - 0 2 )资助
【分类号】	TP393
【正文快照】	随着 Internet国际互联网的日趋流行 ,它已经渗透到社会上的各行各业 ,在金融、教学、科研上起着重要作用 .同时 ,由于互联网上传播信息量的增加 ,如何保证网上信息传播的安全成了人们日益关注的一个重要问题 .在这个过程当中 ,因为电子商务与人们日常生活的关系最密切 ,它的安

xxx

【相似文献】

中国期刊全文数据库

中国优秀硕士学位论文全文数据库

中国博士学位论文全文数据库

中国重要会议论文全文数据库

中国重要报纸全文数据库

中国学术期刊网络出版总库

点击下列相关研究机构和相关文献作者，可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献，使您全面了解该机构和该作者的研究动态和历史。

【文献分类导航】从导航的最底层可以看到与本文研究领域相同的文献，从上层导航可以浏览更多相关领域的文献。

工业技术
　

自动化技术、计算机技术
　　

计算技术、计算机技术
　　　

计算机的应用
　　　　

计算机网络


	CNKI系列数据库编辑出版及版权所有：中国学术期刊(光盘版)电子杂志社中国知网技术服务及网站系统软件版权所有：清华同方知网(北京)技术有限公司其它数据库版权所有：各数据库编辑出版单位（见各库版权信息）京ICP证040431号互联网出版许可证新出网证（京）字008号

相似文献

文献分类导航