主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第10期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
陈庆锋,白硕,王驹,张师超,隋立颖.电子商务安全协议及其非单调动态逻辑验证.软件学报,2000,11(2):240-250
电子商务安全协议及其非单调动态逻辑验证
The Secure Electronic Transactions Protocol and Its Logical Verification with Non-Monotomic Dynamic Logic
投稿时间:1998-04-03  修订日期:1999-03-22
DOI:
中文关键词:  信息安全,逻辑验证,电子商务,注册,付费.
英文关键词:Information security,logical verification,electronic commerce,registration,payment.
基金项目:本文研究得到国家863高科技项目基金(No.863-306-ZD-10-02)资助.
作者单位
陈庆锋 国家智能计算机研究开发中心,北京,100080
广西师范大学数学与计算机科学系,桂林,541004 
白硕 国家智能计算机研究开发中心,北京,100080 
王驹 中国科学院软件研究所,北京,100080 
张师超 广西师范大学数学与计算机科学系,桂林,541004 
隋立颖 国家智能计算机研究开发中心,北京,100080 
摘要点击次数: 2599
全文下载次数: 2092
中文摘要:
      该文介绍了SET(secure electronic transactions)的付费业务流程,对NDL(non-monotomic dynamic logic)的逻辑框架进行了扩展,即针对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.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利