| 摘要（Abstract） | 第1-10页 |
| 第一章 绪论 | 第10-22页 |
| §1．1 引言 | 第10-11页 |
| §1．2 因特网上的不安全因素和安全业务要求 | 第11-12页 |
| §1．3 小额电子支付系统及其发展 | 第12-16页 |
| §1．4 安全协议的形式化分析技术 | 第16-19页 |
| §1．5 研究工作概要和论文章节安排 | 第19-22页 |
| 第二章 小额电子支付协议的设计与分析 | 第22-45页 |
| §2．1 小额电子支付协议的设计原则 | 第22-23页 |
| §2．2 扩展的AUTLOG逻辑 | 第23-35页 |
| §2．3 PayWord小额电子支付协议及其局限性 | 第35-36页 |
| §2．4 新的小额支付协议NMP | 第36-38页 |
| §2．5 NMP协议的性能分析与比较 | 第38-44页 |
| §2．6 本章小结 | 第44-45页 |
| 第三章 移动计算网络中的认证与小额支付协议 | 第45-54页 |
| §3．1 引言 | 第45页 |
| §3．2 原有协议的分析 | 第45-46页 |
| §3．3 移动计算网络的认证与支付模型 | 第46-47页 |
| §3．4 移动计算网络的认证与支付协议 | 第47-49页 |
| §3．5 新协议的安全性与性能分析 | 第49-53页 |
| §3．6 本章小结 | 第53-54页 |
| 第四章 网络视频服务中的认证与小额支付协议 | 第54-62页 |
| §4．1 引言 | 第54-55页 |
| §4．2 网络视频服务模型 | 第55页 |
| §4．3 网络视频服务协议 | 第55-58页 |
| §4．4 网络视频服务协议的安全性与性能分析 | 第58-61页 |
| §4．5 本章小结 | 第61-62页 |
| 第五章 分布式安全电子拍卖协议的设计与分析 | 第62-71页 |
| §5．1 引言 | 第62页 |
| §5．2 分布式电子拍卖及其安全性 | 第62-63页 |
| §5．3 相关工作 | 第63-66页 |
| §5．4 一个新的电子拍卖协议 | 第66-68页 |
| §5．5 新协议的安全性与运行效率分析 | 第68-70页 |
| §5．6 本章小结 | 第70-71页 |
| 第六章 信息系统中的访问控制方案 | 第71-85页 |
| §6．1 访问控制系统及其发展 | 第71页 |
| §6．2 分布式系统中的认证与访问控制方案 | 第71-77页 |
| §6．3 多级安全信息系统中的访问控制方案 | 第77-85页 |
| 结束语 | 第85-86页 |
| 致谢 | 第86-87页 |
| 参考文献 | 第87-97页 |
| 作者在攻读博士学位期间发表和完成的论文 | 第97-98页 |