面向军事网格的授权模型和授权策略语言研究
| 摘要 | 第1-7页 |
| ABSTRACT | 第7-8页 |
| 第一章 绪论 | 第8-18页 |
| ·研究背景和意义 | 第8-11页 |
| ·网格是未来军事信息系统的基础运行平台 | 第8-9页 |
| ·网格安全是军事网格应用与发展的必然要求 | 第9-10页 |
| ·授权策略间的互操作是军事网格安全的重要目标 | 第10-11页 |
| ·相关研究现状 | 第11-16页 |
| ·网格与军事网格研究现状 | 第11-13页 |
| ·网格安全研究现状 | 第13-15页 |
| ·军事网格安全的发展趋势 | 第15-16页 |
| ·主要研究内容 | 第16-17页 |
| ·论文结构 | 第17页 |
| ·本章小结 | 第17-18页 |
| 第二章 授权模型和策略语言的相关研究分析 | 第18-28页 |
| ·网格安全策略 | 第18-21页 |
| ·网格的核心目标 | 第18页 |
| ·网格的特殊性 | 第18-19页 |
| ·网格安全需求 | 第19-20页 |
| ·网格安全策略 | 第20-21页 |
| ·网格授权模型分析 | 第21-24页 |
| ·策略语言分析 | 第24-27页 |
| ·一般分布式环境下的策略语言 | 第24-27页 |
| ·网格环境下的策略语言 | 第27页 |
| ·本章小结 | 第27-28页 |
| 第三章 军事网格的授权模型研究 | 第28-42页 |
| ·军事网格组织原理 | 第28-30页 |
| ·网格资源服务 | 第29-30页 |
| ·基于网格服务的本体描述 | 第30页 |
| ·基于 Web Service的军事网格 | 第30-35页 |
| ·服务和应用 | 第31-33页 |
| ·军事领域本体化 | 第33-34页 |
| ·网格服务实例 | 第34-35页 |
| ·军事网格的授权模型 | 第35-41页 |
| ·授权模型的设计依据 | 第36-38页 |
| ·模型描述 | 第38-41页 |
| ·本章小结 | 第41-42页 |
| 第四章 基于逻辑的APL语言研究 | 第42-83页 |
| ·授权策略概述 | 第42-43页 |
| ·授权策略相关概念 | 第42-43页 |
| ·授权策略分类 | 第43页 |
| ·军事网格环境下授权策略应用需求 | 第43页 |
| ·逻辑语言概述 | 第43-47页 |
| ·网格安全的形式化基础 | 第43-46页 |
| ·逻辑语言相关概念 | 第46-47页 |
| ·APL语言 | 第47-56页 |
| ·语法 | 第48-53页 |
| ·语义 | 第53-56页 |
| ·语法推理系统 | 第56-66页 |
| ·APL语言的语法推理系统 | 第57-59页 |
| ·转换规则 | 第59-61页 |
| ·基于语法推理系统的评估算法 | 第61-66页 |
| ·可靠性与完备性 | 第66-72页 |
| ·可靠性 | 第66-71页 |
| ·完备性 | 第71-72页 |
| ·基于 XML的授权策略语言实现 | 第72-82页 |
| ·APL语言的抽象描述 | 第72-76页 |
| ·APL语言的 Schemas | 第76-82页 |
| ·APL语言总结 | 第82页 |
| ·本章小结 | 第82-83页 |
| 第五章 军事网格授权策略语言的应用 | 第83-87页 |
| ·信任建立过程中的应用 | 第83-84页 |
| ·资源访问过程中的应用 | 第84-86页 |
| ·本章小结 | 第86-87页 |
| 第六章 结论与展望 | 第87-88页 |
| 参考文献 | 第88-91页 |
| 作者简历 攻读硕士学位期间完成的主要工作 | 第91-92页 |
| 致谢 | 第92页 |
