| 非否认协议中认证保密性的设计与形式化分析 |
| |
| 引用本文： | 张虹.非否认协议中认证保密性的设计与形式化分析[J].计算机科学,2008,35(10):140-142. |
| |
| 作者姓名： | 张虹 |
| |
| 作者单位： | 潍坊学院计算机与通信工程学院,潍坊,261061 |
| |
| 摘 要： | 探讨了非否认协议的保密性认证目标,用攻击的方法验证了A(0)协议在认证保密性方面的不足;对其消息格式和会话密钥建立后确认方式做了修改,提出了NA(0)协议;进一步运用SVO逻辑对NA(0)协议进行了形式化的分析,验证了NA(0)协议满足主体身份的认证性和会话密钥的保密性.
|
| 关 键 词： | 非否认协议 认证保密性 形式化分析 SVO逻辑 |
Design and Formal Analysis of Secrecy in the Non-repudiation Protocol |
| |
| ZHANG Hong.Design and Formal Analysis of Secrecy in the Non-repudiation Protocol[J].Computer Science,2008,35(10):140-142. |
| |
| Authors: | ZHANG Hong |
| |
| Abstract: | On the basis of discussing the secrecy goals of non-repudiation protocol,the papar validateed the shortages of A(0)protocol by the means of aggressing,revamped the affirmance fashion of its information format and conversation encrypting keys,and lodged NA(0)protocol.Then the NA(0)protocol was analysed formally by SVO logic,and it was validated fulfilling the authentication of main identity and secrecy of conversation. |
| |
| Keywords: | Non-repudiation protocol Secrecy Formal analysis SVO Logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
