电子商务安全协议

作品数：24被引量：36H指数：4
导出分析报告
相关领域：自动化与计算机技术经济管理更多>>
相关作者：宋沛苏成陈莉陈庆锋白硕更多>>
相关机构：中国矿业大学西安电子科技大学国家智能计算机研究开发中心广西师范大学更多>>
相关期刊：《计算机安全》《辽宁师专学报（自然科学版）》《中小企业管理与科技》《中国电子商务》更多>>
相关基金：河南省科技攻关计划国家自然科学基金国家高技术研究发展计划湖南省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=软件学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
电子商务安全协议的逻辑验证被引量：6
《软件学报》2000年第3期346-362,共17页陈庆锋 王驹 白硕 张师超 隋立颖 
国家 8 6 3高科技项目基金 !(No.86 3- 30 6 - ZD- 10 - 0 2 )
作者在以前所做的工作中 ,已对电子商务安全 (secure electronic transactions,简称 SET)中抽取的片段进行了证明 ,也对 SET中可能存在的问题进行了初步探讨 .该文在此基础上 ,对 SET的整个业务流程进行了严格的逻辑验证 ,通过形式化逻...
关键词：信息安全 逻辑验证 可追踪性 电子商务 安全协议 
电子商务安全协议及其非单调动态逻辑验证被引量：6
《软件学报》2000年第2期240-250,共11页陈庆锋 白硕 王驹 张师超 隋立颖 
国家 8 6 3高科技项目基金! (No.86 3- 30 6 - ZD- 10 - 0 2 )资助
该文介绍了 SET(secure electronic transactions)的付费业务流程 ,对 NDL (non- monotomic dynamiclogic)的逻辑框架进行了扩展 ,即针对 SET协议 ,增加了新的公理 ,重新给出积累规则的定义 .在此基础上 ,用对 SET中的几个重要的范例进...
关键词：信息安全 逻辑验证 电子商务 安全协议 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部