会议专题

无线安全协议分析的信任多集方案

本文首先扩展了信任多集的方法用于无线安全协议的分析,并通过几个公开发表的无线安全协议对该形式化方法进行了示例.扩展的信任多集形式化方法的分析结果要么能证明该协议的安全性,要么指出了协议安全性的缺失.分析结果给出的协议安全属性的缺失直接指出了攻击的构造结构,如本文所示的传感器网络环境下Kerberos对密钥管理协议的分析.基于该形式化方法的分析具有可读性强,准确性高的特点,该形式化方法有助于协议设计者完善无线安全协议的设计.

无线安全协议 信任多集 攻击构造 密钥管理

董玲 陈克非 来学嘉 温密

上海交通大学计算机科学与工程系 上海 200240 中国

国内会议

中国密码学会2007年年会

成都

中文

209-216

2007-10-19(万方平台首次上网日期,不代表论文的发表时间)