基于Trustie技术的可信软件在电厂MIS系统中的研究和应用
| 提要 | 第1-5页 |
| 摘要 | 第5-7页 |
| Abstract | 第7-12页 |
| 第1章 绪论 | 第12-14页 |
| ·项目背景 | 第12页 |
| ·国家863重大项目"TRUSTIE"简介 | 第12-13页 |
| ·论文章节安排 | 第13-14页 |
| 第2章 可信软件在电力生产管理MIS系统中的研究 | 第14-35页 |
| ·提出背景 | 第14页 |
| ·电力生产MIS系统可信等级的划分 | 第14-16页 |
| ·电力生产MIS系统可信属性模型 | 第16-19页 |
| ·电力生产MIS系统可用性 | 第16-17页 |
| ·电力生产MIS系统安全性 | 第17页 |
| ·电力生产MIS系统可靠性 | 第17-18页 |
| ·电力生产MIS系统实时性 | 第18页 |
| ·电力生产MIS系统可维护性 | 第18页 |
| ·电力生产MIS系统可生存性 | 第18-19页 |
| ·电力生产MIS系统的可信证据模型 | 第19-23页 |
| ·MIS系统可信证据的收集 | 第19-22页 |
| ·MIS系统可信证据模型 | 第22-23页 |
| ·可信证据的度量 | 第23-33页 |
| ·可用性可信证据组的度量 | 第23-25页 |
| ·可生存性可信证据组的度量 | 第25-26页 |
| ·可靠性证据组的度量 | 第26页 |
| ·可维护性证据组的度量 | 第26-27页 |
| ·安全性和实时性证据组的度量 | 第27-28页 |
| ·综合类可信证据的度量 | 第28-33页 |
| ·电力生产MIS系统可信等级评估方法研究 | 第33-35页 |
| ·可信属性的权重 | 第33-34页 |
| ·软件可信评估的阈值 | 第34-35页 |
| 第3章 可复用构件的可信性研究 | 第35-40页 |
| ·构件的可信属性及其可信证据 | 第35-37页 |
| ·构件的可信属性 | 第35页 |
| ·构件的可信证据 | 第35-37页 |
| ·构件的可信评估 | 第37-40页 |
| ·构件可信等级的划分 | 第37页 |
| ·构件的可信评估 | 第37-40页 |
| 第4章 电力生产MIS系统的可信等级的评估 | 第40-54页 |
| ·康平电厂电力生产MIS系统简述 | 第40-46页 |
| ·电力生产MIS系统的构件模型库 | 第41页 |
| ·电力生产MIS系统集成的可复用的可信构件的统计 | 第41-42页 |
| ·生产MIS系统运行界面 | 第42-46页 |
| ·生产MIS系统可信等级评估工具 | 第46-49页 |
| ·康平电厂生产MIS系统的可信等级评估 | 第49-54页 |
| 第5章 总结与展望 | 第54-55页 |
| 参考文献 | 第55-57页 |
| 作者简介及在学期间所取得的科研成果 | 第57-58页 |
| 致谢 | 第58页 |
