| 摘要: |
| 实现对具有数字签名的身份认证协议进行验证.从攻击者的角度,基于角色冒充的方法,使用逆向归结的推理方式,采用JAVA来实现验证算法.对于一些具有数字签名的协议,可以进行有效的验证. |
| 关键词: 安全协议 数字签名 形式化验证 攻击者 角色冒充 |
| DOI： |
| 分类号: |
| 基金项目:Supported by the National Natural Science Foundation of China under Grant No. 69872019 (国家自然科学基金) |
|
| An Attack on Digital Signature Protocol Based on Intruder's Role Impersonate |
|
WANG Xin-bing,MA Zheng,HUANG Lian-sheng,ZHOU Hong-bin
|
| Abstract: |
| Security protocols play more and more important role with the bursting development of Internet. Formal authentication is an effective way to detect flaws in those protocols. There are many automatic checkers for verifying protocols, but few can deal with digital signature protocols. This paper proposes a new tool for formal automatic verifying. It can have an effective check for digital signature protocols. It is based on intruder's role impersonate and backward deduction. It was implemented by using JAVA. |
| Key words: security protocol digital signature formal authentication intruder role impersonate |
