陈庆锋

作品数：2被引量：6H指数：1
导出分析报告
供职机构：广西师范大学更多>>
发文主题：安全协议信息安全可追踪性逻辑验证电子商务安全协议更多>>
发文领域：自动化与计算机技术经济管理更多>>
发文期刊：《广西师范大学学报（哲学社会科学版）》《软件学报》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是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的整个业务流程进行了严格的逻辑验证 ,通过形式化逻...
关键词：信息安全 逻辑验证 可追踪性 电子商务 安全协议 
一阶扩展Cooper变换改进型
《广西师范大学学报（哲学社会科学版）》1996年第S2期221-224,共4页李芬兰 陈庆锋 唐柳英 
提出一种一阶扩展A型Cooper变换改进型模式,用结构归纳法证明了其正确性,并给出应用示例。
关键词：程序变换 递归变换 自动程序设计 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部