基于逻辑的电子商务协议属性的分析与研究
| 第一章 绪论 | 第1-14页 |
| ·电子商务及其协议 | 第6-7页 |
| ·电子商务协议的安全性 | 第7-10页 |
| ·电子商务协议的安全性及攻击 | 第7-9页 |
| ·电子商务协议的安全性分析 | 第9-10页 |
| ·形式化验证技术的现状 | 第10-12页 |
| ·模态逻辑技术 | 第10-11页 |
| ·状态穷举／搜索技术 | 第11页 |
| ·定理证明 | 第11-12页 |
| ·逻辑分析方法的研究与进展 | 第12-13页 |
| ·小结 | 第13页 |
| ·本文的研究成果以及结构安排 | 第13-14页 |
| 第二章 逻辑研究的理论基础 | 第14-27页 |
| ·安全问题的逻辑抽象 | 第14-15页 |
| ·具体的BAN逻辑 | 第15-18页 |
| ·类BAN逻辑的基本模型 | 第15-16页 |
| ·BAN逻辑的基本术语 | 第16页 |
| ·需用到的BAN逻辑的记号 | 第16-17页 |
| ·BAN逻辑的逻辑公设 | 第17-18页 |
| ·BAN逻辑分析协议的步骤 | 第18页 |
| ·BAN逻辑分析举例 | 第18-23页 |
| ·扩展的BAN逻辑 | 第23-25页 |
| ·BAN逻辑的评价 | 第25-26页 |
| ·本章小结 | 第26-27页 |
| 第三章 一种新的形式化的逻辑方法 | 第27-32页 |
| ·逻辑介绍 | 第27-28页 |
| ·语法 | 第27页 |
| ·逻辑模型 | 第27-28页 |
| ·电子商务协议属性 | 第28-31页 |
| ·匿名性(anonymity) | 第28-29页 |
| ·安全性(security) | 第29页 |
| ·不可否认性(norepudiation) | 第29页 |
| ·原子性(atomicity) | 第29-30页 |
| ·隐私(privacy) | 第30-31页 |
| ·新逻辑的协议分析步骤 | 第31页 |
| ·本章小结 | 第31-32页 |
| 第四章 NetBill协议的逻辑验证 | 第32-38页 |
| ·NetBill协议简介 | 第32-34页 |
| ·NetBill交易模型 | 第32-33页 |
| ·符号说明 | 第33页 |
| ·价格协商阶段 | 第33-34页 |
| ·商品递送阶段 | 第34页 |
| ·支付阶段 | 第34页 |
| ·NetBill协议的逻辑验证 | 第34-37页 |
| ·Netbill协议的描述 | 第35-36页 |
| ·协议的初始状态 | 第36页 |
| ·协议的属性 | 第36页 |
| ·协议的验证 | 第36-37页 |
| ·本章小结 | 第37-38页 |
| 第五章 结论与展望 | 第38-39页 |
| 参考文献 | 第39-42页 |
| 致谢 | 第42-43页 |
| 攻读学位期间所发表的论文 | 第43页 |
