西安电子科技大学学报（自然科学版）
西安電子科技大學學報（自然科學版）
서안전자과기대학학보（자연과학판）
JOURNAL OF XIDIAN UNIVERSITY(NATURAL SCIENCE)
2006年
5期
800-803,823
,共5页
安全协议%形式化攻击者%计算性攻击者
安全協議%形式化攻擊者%計算性攻擊者
안전협의%형식화공격자%계산성공격자
研究在安全协议仅使用数据完整性算法时,形式化分析方法中形式化攻击者能力描述的计算可靠性.首先假设计算性攻击者的能力超过形式化攻击者的能力,然后构造攻击实验,进而论证攻击实验中计算攻击者的输出与签名算法或密钥杂凑函数的安全定义相矛盾,因此得出计算性攻击者所能生成的消息均属于形式化攻击者所能生成的消息闭集这一结论.基于该结论,可以构建或者改进形式化分析系统,使其具有计算可靠性.
研究在安全協議僅使用數據完整性算法時,形式化分析方法中形式化攻擊者能力描述的計算可靠性.首先假設計算性攻擊者的能力超過形式化攻擊者的能力,然後構造攻擊實驗,進而論證攻擊實驗中計算攻擊者的輸齣與籤名算法或密鑰雜湊函數的安全定義相矛盾,因此得齣計算性攻擊者所能生成的消息均屬于形式化攻擊者所能生成的消息閉集這一結論.基于該結論,可以構建或者改進形式化分析繫統,使其具有計算可靠性.
연구재안전협의부사용수거완정성산법시,형식화분석방법중형식화공격자능력묘술적계산가고성.수선가설계산성공격자적능력초과형식화공격자적능력,연후구조공격실험,진이론증공격실험중계산공격자적수출여첨명산법혹밀약잡주함수적안전정의상모순,인차득출계산성공격자소능생성적소식균속우형식화공격자소능생성적소식폐집저일결론.기우해결론,가이구건혹자개진형식화분석계통,사기구유계산가고성.
