王可心
- 作品数：4 被引量：2H指数：1
- 供职机构：山东大学计算机科学与技术学院更多>>
- 发文基金：山东省自然科学基金更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- Kailar逻辑推理中初始状态假设被引量：1
- 2003年
- Kailar逻辑用于分析电子商务协议的可追究性,但初始状态假设引入不当会导致Kailar逻辑分析协议失败.通过对利用Kailar逻辑证明CMP1(b)协议与CMP1协议可追究性的过程以及对初始状态假设进行分析研究,针对初始状态假设所存在的问题,给出了初始状态假设应遵循的两个原则.实例表明,遵循该原则能够发现初始状态假设存在的问题,从而修正不适当的假设、补充新的假设,避免其引入不当所导致的Kailar逻辑分析协议失败问题.
- 王可心韩芳溪
- 关键词：KAILAR逻辑电子商务协议
- Kailar逻辑推理中初始状态假设
- Kailar逻辑用于分析电子商务协议的可追究性,但初始状态假设引入不当会导致Kailar逻辑分析协议失败.通过对利用Kailar逻辑证明CMP1(b)协议与CMP1协议可追究性的过程以及对初始状态假设进行分析研究,针对初...
- 王可心韩芳溪
- 关键词：KAILAR逻辑电子商务协议
- 文献传递
- 基于Strand空间模型的安全协议分析方法研究
- 该文通过对基于Strand空间模型的安全协议分析方法的研究,提出了用于提高安全协议分析效率的改进的状态空间简化技术.在协议分析过程中,将一般的状态空间简化技术与剪枝定理相结合,不但删除了协议运行的冗余状态,而且删除了协议...
- 王可心
- 关键词：安全协议分析
- 文献传递
- 安全协议分析中的状态空间简化技术被引量：1
- 2004年
- 通过对基于Strand空间模型的安全协议分析方法的研究,提出了协议分析过程中改进的状态空间简化技术,即在协议分析中将状态空间简化技术与剪枝定理相结合,以达到更加有效地简化状态空间的目的。并以Needham Schroeder Lowe协议为例,说明了利用该技术进行协议分析的过程。
- 王可心韩芳溪
- 关键词：安全协议分析
