| Kailar逻辑的改进及应用 |
| |
| 引用本文： | 翁艳琴,石曙东,解颜铭. Kailar逻辑的改进及应用[J]. 微型机与应用, 2012, 31(3): 56-58 |
| |
| 作者姓名： | 翁艳琴 石曙东 解颜铭 |
| |
| 作者单位： | 1. 湖北师范学院数学与统计学院,湖北黄石435000 湖北师范学院计算机科学与技术学院,湖北黄石435000
2. 湖北师范学院数学与统计学院,湖北黄石,435000 |
| |
| 基金项目： | 湖北省自然科学基金，湖北省教育厅重点项目，湖北省教育厅青年项目 |
| |
| 摘 要： | 综合Kailar逻辑和SVO逻辑两种协议分析方法的优点，借助SVO逻辑的思想对Kailar逻辑进行了改进，使其更好地应用于不可否认协议的可追究性分析和设计。同时，将改进后的Kailar逻辑应用在类NG协议的分析中，分析结果证明了该协议可追究方面的安全性质。
|
| 关 键 词： | 逻辑系统 Kailar逻辑 SVO逻辑 安全协议 |
The extension and application of Kailar logic |
| |
| Weng Yanqin,Shi Shudong,Xie Yanming. The extension and application of Kailar logic[J]. Microcomputer & its Applications, 2012, 31(3): 56-58 |
| |
| Authors: | Weng Yanqin Shi Shudong Xie Yanming |
| |
| Affiliation: | 1,2 (1.Institute of Mathematics and Statistical,Hubei Normal University,Huangshi 435000,China; 2.Institute of Computer Science and Technology,Hubei Nomal University,Huangshi 435000,China) |
| |
| Abstract: | This paper sums up the advantages of Kailar logic and SVO logic, extends Kailar logic with the help of the ideas of SVO logic to make it better for the undeniable agreement analysis and design. At the same time, by applying the expanded Kailar logic to analyze the class NG agreement, the result proves that the agreement is safe in the accountability nature. |
| |
| Keywords: | logical system Kailar logic SVO logic security protocol |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
