陈庆锋
- 作品数:4 被引量:75H指数:4
- 供职机构:国家智能计算机研究开发中心更多>>
- 发文基金:国家重点基础研究发展计划国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术经济管理更多>>
- 安全协议的验证逻辑被引量:41
- 2000年
- 该文提出一种论证安全协议之安全性质的非单调动态逻辑 .针对信息安全的特定需要 ,给出了一组与加密、解密、签名、认证和密钥分配等密码学操作有关的公理和推理规则 ,举例说明了这一逻辑框架在验证安全协议方面的应用 ,并讨论了需要进一步解决的问题 .
- 白硕隋立颖陈庆锋付岩庄超
- 关键词:信息安全INTERNET网密码学
- 电子商务安全协议及其非单调动态逻辑验证被引量:15
- 2000年
- 该文介绍了 SET(secure electronic transactions)的付费业务流程 ,对 NDL (non- monotomic dynamiclogic)的逻辑框架进行了扩展 ,即针对 SET协议 ,增加了新的公理 ,重新给出积累规则的定义 .在此基础上 ,用对 SET中的几个重要的范例进行的逻辑验证 ,说明了 NDL在验证电子商务协议上的重要性 ,并初步提出了积累规则中需要进一步研究的问题 .
- 陈庆锋白硕王驹张师超隋立颖
- 关键词:信息安全逻辑验证电子商务安全协议
- SET协议中问题的分析及解决方案被引量:30
- 2000年
- 文中对 SET协议中的“k out of n”问题进行了全面的分析 ,并提出了完整的解决方案 .在对 SET付费业务流程中的两个关键性问题用 NDL逻辑进行验证后 ,给出了它们的 Prolog程序流程 .全文着重于在 SET协议中实现“防抵赖”和“可追踪”两种安全机制 ,并在此基础上实现用 Prolog语言程序模拟验证过程 .
- 陈庆锋白硕王驹张师超隋立颖
- 关键词:电子商务信息安全SET协议计算机网络
- 电子商务安全协议的逻辑验证被引量:15
- 2000年
- 作者在以前所做的工作中 ,已对电子商务安全 (secure electronic transactions,简称 SET)中抽取的片段进行了证明 ,也对 SET中可能存在的问题进行了初步探讨 .该文在此基础上 ,对 SET的整个业务流程进行了严格的逻辑验证 ,通过形式化逻辑方法的验证 ,发现了 SET协议中存在的一些问题 ,并对如何解决这些问题进行了初步的探讨 .
- 陈庆锋陈庆锋白硕白硕隋立颖
- 关键词:信息安全逻辑验证可追踪性电子商务安全协议