形式化攻击者能力描述的计算可靠性研究.pdfVIP

年 月 西安电子科技大学学报（自然科学版） !# % XB2*!# 第 卷 第 期 ! ! (( , Y9R*(( C9*, ! ! !#$%’ ( )*+*% #%*,-$.*/0 ! ! ! 形式化攻击者能力描述的计算可靠性研究 % ! % 田海博 ! 丁 勇 ! 王育民 ! ! 西安电子科技大学 综合业务网理论与关键技术国家重点实验室陕西 西安 # %+ ’%’% ! 桂林电子工业学院 计算机科学与数学系广西 桂林 $ !+ ,% ! 摘要!研究在安全协议仅使用数据完整性算法时!形式化分析方法中形式化攻击者能力描述的计算可 靠性 首先假设计算性攻击者的能力超过形式化攻击者的能力!然后构造攻击实验!进而论证攻击实验 * 中计算攻击者的输出与签名算法或密钥杂凑函数的安全定义相矛盾!因此得出计算性攻击者所能生成 的消息均属于形式化攻击者所能生成的消息闭集这一结论 基于该结论!可以构建或者改进形式化分析 * 系统!使其具有计算可靠性* 关键词!安全协议形式化攻击者计算性攻击者 中图分类号! 文献标识码! 文章编号! # -.()( / %%$! !#,$0$ ! ! ! ! !#$%’()(* ,-$-.()$/#(,)0)##(1 + 1(%*$/$--$2%$3./.- 0#%.-.() 4 + % ! % # # !#$ %’()* +$,-*. 0#$,-1(2’. / ! # # # $ %*1232454 738*9:;24324? 14@AB4C42D9EF GA