密码协议的逻辑分析与设计
| 致谢 | 第1-5页 |
| 中文摘要 | 第5-4页 |
| 英文摘要 | 第4-8页 |
| 第一章 绪论 | 第8-13页 |
| 1．1 回顾 | 第8-11页 |
| 1．2 研究工作概要与论文章节安排 | 第11-13页 |
| 第二章 形式逻辑原理 | 第13-22页 |
| 2．1 认证协议的目标 | 第13页 |
| 2．2 基本术语与推理规则 | 第13-19页 |
| 2．3 BAN-逻辑证明框架 | 第19-21页 |
| 2．4 小结 | 第21-22页 |
| 第三章 BAN逻辑理想化 | 第22-27页 |
| 3．1 引言 | 第22页 |
| 3．2 对一个BAN逻辑证明实例的讨论 | 第22-23页 |
| 3．3 关于理想化规则的补充 | 第23-25页 |
| 3．4 实例分析 | 第25-26页 |
| 3．5 小结 | 第26-27页 |
| 第四章 重放攻击的讨论 | 第27-38页 |
| 4．1 消息重放的分类 | 第27-31页 |
| 4．2 并行攻击的讨论 | 第31-34页 |
| 4．3 TMN-协议的重放攻击 | 第34-37页 |
| 4．4 小结 | 第37-38页 |
| 第五章 BAN-逻辑的改进 | 第38-47页 |
| 5．1 引言 | 第38页 |
| 5．2 BAN-逻辑中的错误 | 第38-40页 |
| 5．3 新的推理规则 | 第40-44页 |
| 5．4 实例分析 | 第44-46页 |
| 5．5 小结 | 第46-47页 |
| 第六章 公平交换方案 | 第47-60页 |
| 6．1 引言 | 第47-48页 |
| 6．2 电子商务中的公平性 | 第48-51页 |
| 6．3 多项交换协议 | 第51-59页 |
| 6．4 小结 | 第59-60页 |
| 第七章 电子商务中的电子彩票 | 第60-70页 |
| 7．1 电子彩票 | 第60-66页 |
| 7．2 用于零钱支付的微电子彩票 | 第66-69页 |
| 7．3 小结 | 第69-70页 |
| 结束语 | 第70-71页 |
| 参考文献 | 第71-81页 |
| 作者在攻读博士期间发表和完成的论文 | 第81页 |
