一类基于身份的非交互式移动代理认证协议的研究与实现

摘要	第1-7页
ABSTRACT	第7-11页
第1章 绪论	第11-17页
·移动代理系统中的安全问题	第11-12页
·国内外研究现状	第12-14页
·本文主要工作	第14-15页
·本文结构安排	第15-17页
第2章 移动代理系统中的认证协议及分析方法	第17-27页
·移动代理系统及身份认证	第17-19页
·移动代理系统中的认证协议	第19-23页
·协议的形式化分析	第23-26页
·本章小结	第26-27页
第3章 基于身份的非交互式认证协议的设计与分析	第27-40页
·协议理论背景	第27-30页
·协议的总体设计方案	第30-32页
·协议描述	第32-35页
·协议分析	第35-39页
·本章小结	第39-40页
第4章 基于身份非交互认证协议的通信顺序进程模型	第40-49页
·协议建模基础	第40-42页
·基于通信顺序进程的协议模型	第42-47页
·本章小结	第47-49页
第5章 协议故障偏差精炼模型检验	第49-55页
·故障偏差精炼检查器	第49-50页
·协议模型的规范定义式	第50-51页
·协议模型验证	第51-54页
·本章小结	第54-55页
结论与展望	第55-57页
参考文献	第57-62页
附录A 硕士期间发表的论文	第62-63页
附录B（核心模型源代码）	第63-66页
致谢	第66页