| 形式化攻击者能力描述的计算可靠性研究 |
| |
| 引用本文： | 田海博,丁勇,王育民. 形式化攻击者能力描述的计算可靠性研究[J]. 西安电子科技大学学报(自然科学版), 2006, 23(5): 800-803 |
| |
| 作者姓名： | 田海博 丁勇 王育民 |
| |
| 作者单位： | [1]西安电子科技大学综合业务网理论与关键技术国家重点实验室,陕西西安710071 [2]桂林电子工业学院计算机科学与数学系,广西桂林541004 |
| |
| 摘 要： | 研究在安全协议仅使用数据完整性算法时，形式化分析方法中形式化攻击者能力描述的计算可靠性，首先假设计算性攻击者的能力超过形式化攻击者的能力，然后构造攻击实验，进而论证攻击实验中计算攻击者的输出与签名算法或密钥杂凑函数的安全定义相矛盾。因此得出计算性攻击者所能生成的消息均属于形式化攻击者所能生成的消息闭集这一结论，基于该结论，可以构建或者改进形式化分析系统，使其具有计算可靠性。
|
| 关 键 词： | 安全协议 形式化攻击者 计算性攻击者 |
| 文章编号： | 1001-2400（2006）05-0800-04 |
| 收稿时间： | 2006-01-16 |
| 修稿时间： | 2006-01-16 |
Research on computational soundness of formal attacker ability description |
| |
| TIAN Hai-bo,DING Yong,WANG Yu-min. Research on computational soundness of formal attacker ability description[J]. Journal of Xidian University, 2006, 23(5): 800-803 |
| |
| Authors: | TIAN Hai-bo DING Yong WANG Yu-min |
| |
| Affiliation: | (1) State Key Lab. of Integrated Service Networks, Xidian Univ., Xi′an 710071， China;(2) Dept. of Computation Science and Mathematics, Guilin Inst. of Electronic Technology., Guilin 541004， China |
| |
| Abstract: | |
| |
| Keywords: | security protocols formal attacker computational attacker |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《西安电子科技大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《西安电子科技大学学报(自然科学版)》下载全文 |
