| Kailar逻辑推理中初始状态假设 |
| |
| 引用本文： | 王可心,韩芳溪.Kailar逻辑推理中初始状态假设[J].大连理工大学学报,2003,43(Z1):193-196. |
| |
| 作者姓名： | 王可心 韩芳溪 |
| |
| 作者单位： | 山东大学计算机科学与技术学院,山东,济南,250062 |
| |
| 基金项目： | 山东省自然科学基金资助项目(003090309). |
| |
| 摘 要： | Kailar逻辑用于分析电子商务协议的可追究性,但初始状态假设引入不当会导致Kailar逻辑分析协议失败.通过对利用Kailar逻辑证明CMP1(b)协议与CMP1协议可追究性的过程以及对初始状态假设进行分析研究,针对初始状态假设所存在的问题,给出了初始状态假设应遵循的两个原则.实例表明,遵循该原则能够发现初始状态假设存在的问题,从而修正不适当的假设、补充新的假设,避免其引入不当所导致的Kailar逻辑分析协议失败问题.
|
| 关 键 词： | Kailar逻辑 电子商务协议 协议分析 初始状态假设 |
| 文章编号： | 1000-8608(2003)S1-S193-04 |
| 修稿时间： | 2003年6月25日 |
Initial state assumptions in Kailar logic reasoning |
| |
| Abstract: | |
| |
| Keywords: | Kailar logic electronic commerce protocol protocol analysis initial state assumption |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
