您的位置： 专家智库 > >

山东省自然科学基金(003090309)

作品数：1 被引量：1H指数：1
相关作者：韩芳溪王可心更多>>
相关机构：山东大学更多>>
发文基金：山东省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇电子商务
  • 1篇电子商务协议
  • 1篇商务
  • 1篇KAILAR...

机构

  • 1篇山东大学

作者

  • 1篇王可心
  • 1篇韩芳溪

传媒

  • 1篇大连理工大学...

年份

  • 1篇2003
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
Kailar逻辑推理中初始状态假设被引量：1
2003年
Kailar逻辑用于分析电子商务协议的可追究性,但初始状态假设引入不当会导致Kailar逻辑分析协议失败.通过对利用Kailar逻辑证明CMP1(b)协议与CMP1协议可追究性的过程以及对初始状态假设进行分析研究,针对初始状态假设所存在的问题,给出了初始状态假设应遵循的两个原则.实例表明,遵循该原则能够发现初始状态假设存在的问题,从而修正不适当的假设、补充新的假设,避免其引入不当所导致的Kailar逻辑分析协议失败问题.
王可心韩芳溪
关键词：KAILAR逻辑电子商务协议
全选 清除 导出
共1页<1>
聚类工具0