Kailar逻辑的改进及应用  

The extension and application of Kailar logic

作　　者：翁艳琴[1,2] 石曙东[1] 解颜铭[1,2] 

机构地区：[1]湖北师范学院数学与统计学院,湖北黄石435000 [2]湖北师范学院计算机科学与技术学院,湖北黄石435000

出　　处：《微型机与应用》2012年第3期56-58,共3页Microcomputer & Its Applications

基　　金：湖北省自然科学基金(2006ABA056);湖北省教育厅重点项目(D20092203);湖北省教育厅青年项目(Q20102503)

摘　　要：综合Kailar逻辑和SVO逻辑两种协议分析方法的优点,借助SVO逻辑的思想对Kailar逻辑进行了改进,使其更好地应用于不可否认协议的可追究性分析和设计。同时,将改进后的Kailar逻辑应用在类NG协议的分析中,分析结果证明了该协议可追究方面的安全性质。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.

关 键 词：逻辑系统 KAILAR逻辑 SVO逻辑 安全协议 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]