基于TNC体系的移动终端可信网络接入模型研究
| 提要 | 第1-5页 |
| 摘要 | 第5-7页 |
| Abstract | 第7-12页 |
| 第1章 绪论 | 第12-17页 |
| ·课题的研究背景 | 第12-14页 |
| ·研究现状 | 第14-15页 |
| ·本文的主要工作 | 第15页 |
| ·本文的组织结构 | 第15-17页 |
| 第2章 可信网络连接系统研究 | 第17-28页 |
| ·可信网络 | 第17-18页 |
| ·可信网络连接体系 | 第18-22页 |
| ·可信网络连接工作原理 | 第22-24页 |
| ·基于TNC的模型 | 第24-28页 |
| 第3章 移动可信接入模型 | 第28-48页 |
| ·MTA模型总体设计 | 第28-34页 |
| ·MTA总体框架设计 | 第28-30页 |
| ·MTA层次结构 | 第30-31页 |
| ·MTA模块设计 | 第31-32页 |
| ·MTA模型部署实施 | 第32-34页 |
| ·应用与控制管理服务器群设计 | 第34-41页 |
| ·移动终端代理组件 | 第34-36页 |
| ·完整性度量值收集和验证组件 | 第36-38页 |
| ·信任度量值评价组件 | 第38-39页 |
| ·修复和隔离服务器组件 | 第39-40页 |
| ·访问授权决策与管理服务器组件 | 第40-41页 |
| ·MTA功能原理 | 第41-44页 |
| ·MTA主要原理 | 第41-42页 |
| ·MTA作流程 | 第42-44页 |
| ·MTA通信机制 | 第44页 |
| ·基于Petri网的MTA模型形式化验证 | 第44-48页 |
| ·Petri网模型分析 | 第44-45页 |
| ·MTA模型形式化验证过程 | 第45-48页 |
| 第4章 基于可信值—角色的动态访问策略模型 | 第48-65页 |
| ·传统访问授权控制模型 | 第48-52页 |
| ·基于角色的访问控制模型 | 第49-50页 |
| ·基于任务的访问控制模型 | 第50-51页 |
| ·使用控制模型 | 第51页 |
| ·授权模型 | 第51-52页 |
| ·基于可信值—角色的动态访问策略模型总体设计 | 第52-59页 |
| ·模型设计 | 第52-54页 |
| ·双维可信值与角色机制 | 第54-56页 |
| ·信任评估算法 | 第56-57页 |
| ·动态上下文访问控制 | 第57-58页 |
| ·模型访问评估策略 | 第58-59页 |
| ·模型工作原理 | 第59-62页 |
| ·模型原理分析 | 第59-61页 |
| ·模型工作流程 | 第61-62页 |
| ·模型可行性分析 | 第62-65页 |
| 第5章 总结与展望 | 第65-66页 |
| 参考文献 | 第66-69页 |
| 作者简介及在学期间所取得的科研成果 | 第69-70页 |
| 致谢 | 第70页 |