手机知网 App
24小时专家级知识服务
打 开
手机知网|搜索

基于SPIN的协议分析技术研究

刘芳;魏昭;董荣胜

  随着网络规模不断扩大,协议已广泛应用在各种分布式的网络环境中.使用形式化的分析方法有助于发现协议设计中的缺陷,保障分布式应用的质量。而模型检测技术作为一种形式化的分析方法,支持自动化的推理技术,能根据逻辑公式自动的验证协议的属性,发现缺陷.本文给出了基于模型检测技术的协议分析框架,然后用模型检测工具SPIN[1]在该框架下分析了SAS[2]协议,验证了协议的安全属性和数据流的功能属性,发现了数据流的一个缺陷;分析了NS[3]协议的机密性和认证性,给出了该协议的攻击路径。……   
[关键词]:模型检测;协议;SPIN
[文献类型]:会议论文
[文献出处]: 《广西计算机学会2008年年会论文集2008年
App内打开