Web服务访问控制机制研究
| 表目录 | 第1-9页 |
| 图目录 | 第9-10页 |
| 摘要 | 第10-12页 |
| ABSTRACT | 第12-14页 |
| 第一章 绪论 | 第14-34页 |
| ·Web 服务及应用 | 第14-19页 |
| ·SOA 和Web 服务 | 第14-15页 |
| ·Web 服务体系结构 | 第15-16页 |
| ·Web 服务基本技术 | 第16-18页 |
| ·Web 服务典型应用 | 第18-19页 |
| ·Web 服务中的安全问题 | 第19-22页 |
| ·Web 服务的安全威胁 | 第19页 |
| ·Web 服务的安全挑战 | 第19-20页 |
| ·现有的安全措施和标准 | 第20-22页 |
| ·Web 服务中的访问控制 | 第22-24页 |
| ·Web 服务访问控制的挑战性问题 | 第22-23页 |
| ·现有的访问控制模型 | 第23-24页 |
| ·访问控制推理机制问题 | 第24页 |
| ·结构化知识表示 | 第24-28页 |
| ·框架理论和F-Logic | 第25-26页 |
| ·面向对象的一阶逻辑 | 第26-27页 |
| ·语义网络 | 第27-28页 |
| ·其它的表示方法 | 第28页 |
| ·结构化属性逻辑语言-SALL | 第28-30页 |
| ·结构化属性 | 第29页 |
| ·结构化属性逻辑语言 | 第29页 |
| ·SALL 语言推理系统 | 第29-30页 |
| ·SALL 语言的特点 | 第30页 |
| ·本文的主要研究内容与创新 | 第30-32页 |
| ·主要研究内容与思路 | 第30-31页 |
| ·本文创新点 | 第31-32页 |
| ·论文的组织结构 | 第32-34页 |
| 第二章 Web 服务访问控制模型研究 | 第34-50页 |
| ·经典模型的改进 | 第34-40页 |
| ·基于身份的模型 | 第34-36页 |
| ·基于角色的模型 | 第36-38页 |
| ·基于格的模型 | 第38-40页 |
| ·基于信任管理的模型 | 第40-43页 |
| ·模型思想 | 第40-41页 |
| ·基于信任管理的语言 | 第41-43页 |
| ·基于信任管理的模型分析 | 第43页 |
| ·基于属性的访问控制模型 | 第43-46页 |
| ·ABAC 模型思想 | 第43-44页 |
| ·自动信任协商 | 第44-45页 |
| ·ABAC 模型分析 | 第45-46页 |
| ·模型综合能力分析 | 第46-47页 |
| ·本章小结 | 第47-50页 |
| 第三章 访问控制推理机制研究 | 第50-62页 |
| ·逻辑和访问控制关系 | 第50-51页 |
| ·基于一阶逻辑的推理机制研究 | 第51-56页 |
| ·基于身份模型的推理机制 | 第51页 |
| ·基于角色模型的推理机制 | 第51-52页 |
| ·基于信任管理模型的推理机制 | 第52-54页 |
| ·基于属性模型的推理机制 | 第54-56页 |
| ·基于其他理论的推理机制 | 第56-58页 |
| ·基于模态逻辑的推理机制 | 第56页 |
| ·基于缺省逻辑的推理机制 | 第56-57页 |
| ·基于时序逻辑的推理机制 | 第57页 |
| ·基于策略代数的推理机制 | 第57-58页 |
| ·待进一步研究的问题 | 第58-59页 |
| ·结构化知识表示能力 | 第58-59页 |
| ·访问控制系统安全性分析 | 第59页 |
| ·本章小结 | 第59-62页 |
| 第四章 结构化属性逻辑语言 SALL | 第62-84页 |
| ·SALL 语言语法 | 第62-64页 |
| ·属性定义 | 第62-64页 |
| ·属性公式 | 第64页 |
| ·SALL 语言语义 | 第64-71页 |
| ·语义结构 | 第65-66页 |
| ·语义树 | 第66-67页 |
| ·属性成员关系 | 第67-69页 |
| ·属性的有效性 | 第69页 |
| ·属性公式解释 | 第69-70页 |
| ·属性蕴涵 | 第70-71页 |
| ·SALL 语言推理系统 | 第71-79页 |
| ·SALL 属性逻辑程序 | 第71-72页 |
| ·SALL 推理系统体系结构 | 第72页 |
| ·属性归类 | 第72-73页 |
| ·SALL 推理规则 | 第73-74页 |
| ·SALL 推理算法 | 第74-79页 |
| ·SALL 推理系统有效性证明 | 第79-82页 |
| ·属性归类算法分析 | 第79-80页 |
| ·推理引擎算法分析 | 第80-82页 |
| ·本章小结 | 第82-84页 |
| 第五章 基于SALL 语言的访问控制框架 | 第84-92页 |
| ·访问控制框架结构 | 第85页 |
| ·访问控制判决基本过程 | 第85-86页 |
| ·各功能模块基本实现过程 | 第86-91页 |
| ·访问控制策略执行点 | 第86-87页 |
| ·访问控制策略 | 第87-88页 |
| ·属性生成模块 | 第88-90页 |
| ·逻辑推理模块 | 第90-91页 |
| ·本章小结 | 第91-92页 |
| 第六章 SALL 语言策略描述能力分析 | 第92-108页 |
| ·矩阵访问控制策略描述 | 第92-95页 |
| ·模型思想和策略示例 | 第92页 |
| ·SALL 语言策略描述 | 第92-94页 |
| ·基于SALL 语言授权判决 | 第94-95页 |
| ·RBAC 模型策略描述 | 第95-100页 |
| ·模型思想和策略示例 | 第95-96页 |
| ·SALL 语言策略描述 | 第96-98页 |
| ·基于SALL 语言授权判决 | 第98-100页 |
| ·信任管理语言策略描述 | 第100-106页 |
| ·KeyNote 语言策略描述 | 第100-103页 |
| ·SPKI 语言策略描述 | 第103-106页 |
| ·基于SALL 语言的推理模型 | 第106页 |
| ·本章小结 | 第106-108页 |
| 第七章 基于SALL 语言的内部文档访问控制 | 第108-130页 |
| ·内部文档管理系统 | 第108-112页 |
| ·系统需求分析 | 第108页 |
| ·系统体系结构 | 第108-109页 |
| ·系统实现基本过程 | 第109-112页 |
| ·Web 服务防火墙 | 第112-115页 |
| ·系统功能 | 第112-113页 |
| ·系统结构和原理 | 第113-115页 |
| ·系统实现 | 第115页 |
| ·基于属性的访问控制 | 第115-128页 |
| ·访问控制需求 | 第115-116页 |
| ·基本集合和属性 | 第116-118页 |
| ·访问控制策略 | 第118-121页 |
| ·基于SALL 语言的授权判决 | 第121-128页 |
| ·本章小结 | 第128-130页 |
| 第八章 总结与展望 | 第130-134页 |
| 参考文献 | 第134-142页 |
| 附录A HttpModule 模块开发基本过程 | 第142-143页 |
| 附录B SALL 逻辑程序 | 第143-154页 |
| 作者简介 攻读博士学位期间完成的主要工作 | 第154-155页 |
| 致谢 | 第155页 |
