安全软件体系结构的形式化方法研究
| 中文摘要 | 第1-7页 |
| 英文摘要 | 第7-13页 |
| 引言 | 第13-15页 |
| 第一章 概述 | 第15-29页 |
| ·基于组件的安全软件体系结构 | 第15-18页 |
| ·软件体系结构基本概念 | 第15-17页 |
| ·安全软件体系结构 | 第17-18页 |
| ·安全软件体系结构的形式化研究 | 第18-26页 |
| ·软件体系结构的形式化研究 | 第19-22页 |
| ·软件体系结构描述语言 | 第19-21页 |
| ·软件体系结构的形式化分析与验证 | 第21-22页 |
| ·软件体系结构安全性研究的形式化方法 | 第22-26页 |
| ·进程代数的方法 | 第23-24页 |
| ·逻辑的方法 | 第24页 |
| ·模型检查的方法 | 第24-25页 |
| ·安全性研究的其他形式化方法 | 第25页 |
| ·方法比较 | 第25-26页 |
| ·本文工作及组织 | 第26-29页 |
| ·工作目标和方法 | 第26-27页 |
| ·论文组织 | 第27-29页 |
| 第二章 安全软件体系结构框架 | 第29-39页 |
| ·安全需求 | 第29-31页 |
| ·从安全需求到安全软件体系结构 | 第31-33页 |
| ·安全组件 | 第33-34页 |
| ·安全连接件 | 第34-35页 |
| ·安全约束 | 第35-36页 |
| ·安全软件体系结构风格 | 第36-37页 |
| ·本章小结 | 第37-39页 |
| 第三章 建立安全的软件体系结构模型 | 第39-55页 |
| ·行为模型 | 第39-43页 |
| ·方法步骤 | 第40-41页 |
| ·模型检查 | 第41-42页 |
| ·策略与评估 | 第42-43页 |
| ·静态结构模型 | 第43-44页 |
| ·功能模型 | 第44-46页 |
| ·基于进程代数的软件体系结构描述语言 | 第46-52页 |
| ·进程代数语法和操作语义 | 第46-47页 |
| ·软件体系结构规约文本表示 | 第47-49页 |
| ·软件体系结构规约图形表示 | 第49-52页 |
| ·其他相关模型描述语言比较 | 第52-54页 |
| ·本章小结 | 第54-55页 |
| 第四章 软件体系结构的安全性分析 | 第55-72页 |
| ·基于进程代数的模型安全性分析 | 第55-67页 |
| ·弱互模拟等价 | 第55-57页 |
| ·相容性检查 | 第57-59页 |
| ·相容性检查实例 | 第59-61页 |
| ·互操作性检查 | 第61-64页 |
| ·安全性检查的扩展 | 第64-67页 |
| ·基于信任逻辑的体系结构模型安全性分析 | 第67-71页 |
| ·本章小结 | 第71-72页 |
| 第五章 基于安全模型的安全操作系统设计与实现 | 第72-95页 |
| ·安全性基础 | 第72-77页 |
| ·安全概念和标准 | 第72-73页 |
| ·Linux 的安全性 | 第73-75页 |
| ·访问控制的安全模型 | 第75-77页 |
| ·操作系统的安全软件体系结构模型 | 第77-87页 |
| ·模型的安全策略 | 第78-80页 |
| ·安全系统的访问控制模型 | 第80-84页 |
| ·BLP 模型形式化描述 | 第81-82页 |
| ·新的访问控制模型 | 第82-84页 |
| ·模型安全性分析 | 第84-87页 |
| ·实现安全软件体系结构模型 | 第87-94页 |
| ·安全策略实现 | 第88页 |
| ·操作系统实现 | 第88-94页 |
| ·本章小结 | 第94-95页 |
| 第六章 方法的进化与外延 | 第95-100页 |
| ·基于安全模型的复用技术 | 第95-96页 |
| ·安全方法的扩展 | 第96-97页 |
| ·安全模型在实时领域的应用 | 第97-98页 |
| ·其他安全系统 | 第98-99页 |
| ·本章小结 | 第99-100页 |
| 第七章 结束语 | 第100-102页 |
| ·本文主要贡献 | 第100-101页 |
| ·未来工作 | 第101-102页 |
| 参考文献 | 第102-113页 |
| 作者在攻读博士学位期间发表的学术论文 | 第113-114页 |
| 致谢 | 第114页 |
