Kaman协议的形式化验证

• 作者: 文双举
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 移动Ad Hoc网络 协议复合逻辑 Kaman协议
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 信息安全
• 页码范围: 17-22,47
• 分类号: TP393
• 字数: 3576字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2012.04.005

摘要

Kaman协议是移动Ad Hoc网络安全认证机制,然而,协议设计者未对该协议的安全性作严格的形式化分析.协议复合逻辑PCL是验证协议安全属性的形式化方法,PCL逻辑能够简化协议安全分析过程.本文在协议复合逻辑PCL中描述Kaman协议并分析Kaman协议的安全属性,证明Kaman协议能够实现其安全目标.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	文双举	甘肃省高等学校招生办公室	2	1	1.0	1.0