首页 | 本学科首页   官方微博 | 高级检索  
     

Kaman协议的形式化验证
引用本文:文双举.Kaman协议的形式化验证[J].计算机与现代化,2012(4):17-22,47.
作者姓名:文双举
作者单位:甘肃省高等学校招生办公室,甘肃兰州,730030
摘    要:Kaman协议是移动Ad Hoc网络安全认证机制,然而,协议设计者未对该协议的安全性作严格的形式化分析。协议复合逻辑PCL是验证协议安全属性的形式化方法,PCL逻辑能够简化协议安全分析过程。本文在协议复合逻辑PCL中描述Kaman协议并分析Kaman协议的安全属性,证明Kaman协议能够实现其安全目标。

关 键 词:移动AdHoc网络  协议复合逻辑  Kaman协议

Formal Verification of Kaman Protocol
WEN Shuang-ju.Formal Verification of Kaman Protocol[J].Computer and Modernization,2012(4):17-22,47.
Authors:WEN Shuang-ju
Affiliation:WEN Shuang-ju(High-level School Admissions Office of Gansu Province,Lanzhou 730030,China)
Abstract:Kaman is security authentication scheme of mobile Ad Hoc networks.However,the author of Kaman didn’t verify security of the protocol by using formal method.Protocol Composition Logic(PCL) is formal verification logic of security protocol.This logic can simplify the process of protocol verification.This paper describes Kaman and analyzes its security properties in PCL.It is proved that Kaman can implement its security aim.
Keywords:Ad Hoc networks  protocol composition logic  Kaman protocol
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号