安全电子商务协议的逻辑分析方法研究

摘要	第1-4页
ABSTRACT	第4-6页
目录	第6-8页
第一章 绪论	第8-12页
·研究背景	第8-10页
·研究现状	第10-11页
·本文工作	第11-12页
第二章 安全电子商务协议综述	第12-19页
·安全电子商务协议的基本概念	第12-14页
·安全电子商务协议的基本需求	第12-13页
·安全电子商务协议的基本结构	第13页
·安全电子商务协议的分类	第13-14页
·安全电子商务协议的运行环境及语义	第14页
·典型的安全电子商务协议	第14-19页
第三章 针对电子商务协议的攻击	第19-26页
·入侵者的知识和能力	第20-21页
·电子商务协议的常见攻击	第21-22页
·针对 NEWIBS协议的重放攻击	第22-23页
·针对 CMP协议的重放攻击	第23-25页
·小结	第25-26页
第四章 电子商务协议的安全性	第26-41页
·电子商务协议的安全性质	第27-28页
·电子商务协议的分析前提	第28-29页
·电子商务协议的设计准则	第29-30页
·电子商务协议的分析方法简介	第30-32页
·KAILAR逻辑和卿-周逻辑简介	第32-38页
·Kailar逻辑简介	第32-35页
·卿-周逻辑简介	第35-38页
·KAILAR逻辑和卿-周逻辑的缺陷	第38-40页
·小结	第40-41页
第五章 一种改进的逻辑分析方法	第41-56页
·改进的逻辑分析方法的语法	第41-49页
·基本符号	第42-43页
·概念和定义	第43-46页
·推理规则	第46-49页
·协议分析步骤	第49-50页
·验证实例	第50-54页
·IBS协议的逻辑验证	第50-53页
·NewIBS协议的逻辑验证	第53-54页
·小结	第54-56页
第六章 总结与展望	第56-57页
致谢	第57-58页
参考文献	第58-61页
附录1 攻读硕士期间发表和完成的论文	第61页