基于程序设计语言的安全降密模型研究
| 致谢 | 第1-6页 |
| 摘要 | 第6-8页 |
| Abstract | 第8-14页 |
| 插图清单 | 第14-15页 |
| 1 绪论 | 第15-32页 |
| ·研究背景 | 第15-19页 |
| ·访问控制 | 第16-17页 |
| ·隐蔽通道 | 第17-19页 |
| ·信息流分析 | 第19-24页 |
| ·进程代数方法 | 第20-22页 |
| ·类型系统方法 | 第22-24页 |
| ·自动机方法 | 第24页 |
| ·安全降密模型研究现状 | 第24-28页 |
| ·论文的研究工作和贡献 | 第28-30页 |
| ·论文的组织结构 | 第30-32页 |
| 2 动态安全降密控制 | 第32-55页 |
| ·引言 | 第32-34页 |
| ·安全类型语言 | 第34-38页 |
| ·安全格和攻击者模型 | 第34-37页 |
| ·命令式语言IMP | 第37-38页 |
| ·无干扰和鲁棒降密 | 第38-43页 |
| ·动态鲁棒降密 | 第43-47页 |
| ·完整性升级策略 | 第43-45页 |
| ·安全模型 | 第45-47页 |
| ·IMP语言类型系统 | 第47-53页 |
| ·本章小结 | 第53-55页 |
| 3 多线程并发系统中的安全信息流控制 | 第55-85页 |
| ·引言 | 第55-57页 |
| ·MWL_(D，E)语言 | 第57-59页 |
| ·安全模型 | 第59-67页 |
| ·基于互模拟等价的无干扰安全 | 第60-62页 |
| ·信息降密和抹除 | 第62-67页 |
| ·MWL_(D，E)语言类型系统 | 第67-75页 |
| ·非转换类型系统 | 第68-71页 |
| ·转换类型系统 | 第71-75页 |
| ·MWL_(D，E)语言的类型可靠性 | 第75-83页 |
| ·本章小结 | 第83-85页 |
| 4 概率系统中的安全信息流分析 | 第85-111页 |
| ·引言 | 第85-86页 |
| ·非确定系统中的信息流安全性质 | 第86-94页 |
| ·安全进程代数SPA | 第87-89页 |
| ·观察等价关系 | 第89-90页 |
| ·使用SPA分析无干扰安全属性 | 第90-94页 |
| ·概率系统中的信息流安全性质 | 第94-100页 |
| ·概率安全进程代数PSPA | 第94-97页 |
| ·概率信息流安全属性分析 | 第97-100页 |
| ·概率系统中的非传递无干扰安全属性分析 | 第100-109页 |
| ·扩展PSPA | 第101页 |
| ·非传递概率互拟强无干扰 | 第101-102页 |
| ·非传递概率互拟复合不可演绎 | 第102-104页 |
| ·持久I_PBNDC和强I_PBNDC | 第104-106页 |
| ·实例分析 | 第106-109页 |
| ·本章小结 | 第109-111页 |
| 5 概率时间系统的非传递无干扰安全属性分析 | 第111-127页 |
| ·引言 | 第111-112页 |
| ·概率时间自动机 | 第112-119页 |
| ·时钟及其有关概念 | 第112-114页 |
| ·概率时间自动机的形式语法和语义 | 第114-117页 |
| ·弱互拟 | 第117-119页 |
| ·信息流分析 | 第119-126页 |
| ·非传递概率时间无干扰 | 第120-123页 |
| ·非传递概率时间复合不可演绎 | 第123-126页 |
| ·本章小结 | 第126-127页 |
| 6 结束语 | 第127-131页 |
| ·论文工作总结 | 第127-129页 |
| ·进一步的工作 | 第129-131页 |
| 参考文献 | 第131-144页 |
| 作者简历及在学期间所取得的科研成果 | 第144-145页 |
