Kailar逻辑的改进及应用

• 作者: 石曙东 翁艳琴 解颜铭
• 来源期刊: 微型机与应用
• 学科: 工学
• 关键词: 逻辑系统 Kailar逻辑 SVO逻辑 安全协议
• 年，卷（期）: 2012,（3）
• 所属期刊栏目: 网络与通信
• 页码范围: 56-58
• 分类号: TP309
• 语种: 中文
• DOI: 10.3969/j.issn.1674-7720.2012.03.018

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	石曙东	湖北师范学院数学与统计学院	28	41	4.0	4.0
2	翁艳琴		1	3	1.0	1.0
3	解颜铭		1	3	1.0	1.0