%0 Journal Article
%T 基于SMV的安全协议建模及类型缺陷攻击发现
%A 李东建
%A 陆际光
%J 中南民族大学学报(自然科学版)
%P 68-71
%D 2005
%X 在分析安全协议模型的基础上,探讨了基于SMV工具的安全协议的建模及发现类型缺陷攻击的方法,对Otway-Rees协议的建模和分析表明,该方法对于发现类型缺陷攻击是有效的.
%K 类型缺陷
%K 模型检验
%K 安全协议
%K 符号模型检验
%U http://znzk.scuec.edu.cn/ch/reader/view_abstract.aspx?file_no=20050253&flag=1