文摘
英文文摘
第一章 绪论
1.1 普适计算安全服务研究的现状分析及本文的选题动机
1.1.1 普适计算环境下安全服务体系结构的缺失
1.1.2 普适计算环境下身份认证的困境及研究对策
1.1.3 信任问题的研究现状、面临的挑战和研究对策
1.1.4 普适计算环境下安全服务的困境及研究挑战
1.2 论文研究内容
1.3 论文创新点
1.4 论文篇章结构
第二章 普适计算环境下认证问题的研究
2.1 认证技术简介
2.1.1 传统的认证机制
2.1.2 普适计算环境下实体认证的特殊性需求
2.2 SPKI/SDSI
2.2.1 名字(Name)
2.2.2 名字证书(Name Certificate)
2.2.3 授权证书(Authorization Certificate)
2.2.4 五元组的约简(Reduction)
2.2.5 AIntecsect
2.2.6 VIntcrscct
2.2.7 证书路径发现(Certificate Path Discovery)
2.2.8 四元组的约简
2.3 普适计算环境下的身份认证机制研究
2.3.1 符号描述
2.3.2 基于属性或服务类型的身份授权申请
2.3.3 基于属性或服务类型的身份认证过程
2.3.4 利用BAN逻辑对身份认证协议进行的安全性分析
2.3.5 性能分析
2.4 普适计算环境下身份认证机制的应用研究
2.5 本章小结
第三章 普适计算环境下信任问题的研究
3.1 信任概念
3.2 D-S理论(Dempster-Shafer Theory)
3.2.1 辨别框架(Frames of Discernment)
3.2.2 质量(Mass)函数与无知
3.2.3 信任(belief或Bel)函数
3.2.4 似然性(plausibility或P1)函数
3.2.5 证据区间EI
3.2.6 信任的量化
3.2.7 信任的推荐
3.2.8 证据的聚合
3.3 信任的动态更新
3.3.1 信任的动态更新策略
3.3.2 信任的时间衰减函数
3.4 普适计算环境下的信任计算模型研究
3.4.1 信任计算模型的预备知识
3.4.2 信任计算过程简述
3.4.3 信任计算举例
3.5 本章小结
第四章 普适计算环境下的安全服务研究
4.1 普适计算环境下服务实现过程中的安全挑战
4.2 SPKI/SDSI的扩展--eSPKI
4.2.1 扩展的动机
4.2.2 eSPKI信任证书
4.2.3 eSPKI信任证书六元组的约简(Reduction)
4.3 普适计算环境下服务的安全委托协议研究
4.3.1 服务安全委托协议
4.3.2 利用BAN逻辑对服务委托授权协议进行安全性分析
4.3.3 性能分析
4.4 普适计算环境下安全的服务模型研究
4.4.1 符号描述
4.4.2 服务授权过程
4.4.3 服务提供过程
4.4.4 进一步的讨论
4.4.5 性能分析
4.5 普适计算安全服务模型的应用研究
4.5.1 基于SPKI/SDSI和P2P的普适计算安全服务模型研究
4.5.2 基于D-S理论和扩展的SPKI/SDSI理论的普适计算服务模型研究
4.5.3 普适计算上下文感知服务模型研究
4.5.4 普适计算敏感信息保护机制研究
4.7 本章小结
第五章 总结及展望
5.1 总结
5.2 展望
参考文献
博士期间发表的论文及参加的科研项目
致谢