逻辑化方法的改进及若干密码协议安全性分析

摘要	第1-4页
ABSTRACT	第4-5页
第一章 前言	第5-7页
第二章 基础知识	第7-12页
·命题逻辑系统	第7-8页
·谓词逻辑系统	第8-12页
第三章 逻辑化方法研究	第12-27页
·若干基本概念和记号	第12-15页
·新的认证逻辑系统	第15-19页
·一些新符号和新公式的引进	第15页
·新的公理集	第15-17页
·对公理系统的说明	第17-18页
·系统的可靠性、一致性和演绎定理	第18-19页
·认证逻辑系统的若干常用定理	第19-27页
·关于密钥和共享秘密的简单常用定理	第19-23页
·关于消息可恢复性、消息生成和真实性的定理	第23-26页
·关于“说过”谓词的定理	第26-27页
第四章 若干密码协议安全性分析	第27-36页
·NSL协议	第27-31页
·NSL协议过程	第27页
·NSL协议的安全性分析	第27-31页
·3G认证与密钥分发协议	第31-36页
·3G认证与密钥分发协议过程	第31-32页
·3G认证与密钥分发协议安全性分析	第32-34页
·3G认证与密钥分发协议的改进方案	第34-36页
结束语	第36-37页
致谢	第37-38页
参考文献	第38-39页