| 一种新型的安全协议分析逻辑 |
| |
| 引用本文： | 石曙东,李之棠. 一种新型的安全协议分析逻辑[J]. 小型微型计算机系统, 2004, 25(12): 2182-2185 |
| |
| 作者姓名： | 石曙东 李之棠 |
| |
| 作者单位： | 1. 华中科技大学,计算机学院,湖北,武汉,430074;湖北师范学院,计算机科学系,湖北,黄石,435002
2. 华中科技大学,计算机学院,湖北,武汉,430074 |
| |
| 基金项目： | 国家863课题(863-301-06-1)资助;湖北省教育厅重点项目(2004D004)资助. |
| |
| 摘 要： | 提出了一种新的形式化分析逻辑 ,可用于分析协议的安全性 .它有 3个优点 :(1)能分析协议的可追究性 ,(2 )能分析协议的公平性 ,(3)能有效的分析协议能否抵御重放攻击 ,(4 )增加了密文理解规则 ,能够有效地分析包含有签过名的加密公式的消息
|
| 关 键 词： | Kailar逻辑 电子商务 协议 协议分析 |
| 文章编号： | 1000-1220(2004)12-2182-04 |
A New Logic for the Analysis of Secure Protocols |
| |
| SHI Shu-dong ,,LI Zhi-tang. A New Logic for the Analysis of Secure Protocols[J]. Mini-micro Systems, 2004, 25(12): 2182-2185 |
| |
| Authors: | SHI Shu-dong LI Zhi-tang |
| |
| Affiliation: | SHI Shu-dong 1,2,LI Zhi-tang 1 1 |
| |
| Abstract: | Proposed a new framework is for the analysis of secure protocols. Comparing to the framework proposed by Kailar, it has some improvements. Firstly, it can analyze accountability of protocols . Secondly, it can analyze fairness of protocols efficiently. At last, by introducing the cipher text understanding rule the new framework can analyze the message that includes signed cipher text. |
| |
| Keywords: | Kailar logic electronic commerce protocol protocol analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
