基于软件安全契约的AOP监控方法
| 摘要 | 第1-6页 |
| Abstract | 第6-11页 |
| 第1章 绪论 | 第11-17页 |
| ·软件安全性保障 | 第11-12页 |
| ·重视软件安全性 | 第11-12页 |
| ·建立合理的软件安全性保障方法 | 第12页 |
| ·基于安全契约软件保障方法 | 第12-14页 |
| ·安全契约的概念 | 第12-13页 |
| ·基于安全契约的软件开发框架 | 第13-14页 |
| ·监控运行 | 第14-15页 |
| ·本文的主要工作 | 第15-17页 |
| 第2章 面向方面编程与监控 | 第17-26页 |
| ·面向方面编程简介 | 第17-20页 |
| ·产生的历史 | 第17-19页 |
| ·aspect | 第19-20页 |
| ·ASPECTJ语言 | 第20-24页 |
| ·连接点 | 第20-23页 |
| ·切入点 | 第23页 |
| ·通知 | 第23-24页 |
| ·基于AOP的监控方法 | 第24-26页 |
| 第3章 定义安全契约及其监控代码转换 | 第26-38页 |
| ·安全契约的形式化定义 | 第26-30页 |
| ·理论基础 | 第26-27页 |
| ·ASCL规范 | 第27-30页 |
| ·安全契约集 | 第30-35页 |
| ·数据契约集 | 第30-32页 |
| ·操作集契约 | 第32-33页 |
| ·安全契约的例子 | 第33-35页 |
| ·监控方面模型和监控代码 | 第35-38页 |
| ·监控方面模型 | 第35-37页 |
| ·从安全契约转化为监控代码 | 第37-38页 |
| 第4章 安全契约的实施过程 | 第38-52页 |
| ·基于安全契约系统执行细节 | 第38-41页 |
| ·建立管理安全契约 | 第39-40页 |
| ·软件部署和加载 | 第40页 |
| ·监控执行和运行时强制实施 | 第40-41页 |
| ·SXC框架的工具支持 | 第41-50页 |
| ·程序整体结构 | 第42-43页 |
| ·安全契约编辑模块 | 第43-44页 |
| ·安全契约的验证 | 第44-46页 |
| ·自动生成代码模块 | 第46-50页 |
| ·监控程序的实现细节 | 第50-52页 |
| 第5章 实验分析 | 第52-57页 |
| ·示例以其结果 | 第52-55页 |
| ·效率分析 | 第55-57页 |
| 第6章 总结 | 第57-60页 |
| ·基于安全契约软件运行监控的探究 | 第57-58页 |
| ·存在的问题和未来工作方向 | 第58-60页 |
| 参考文献 | 第60-63页 |
| 作者简介及在学期间所取得的科研成果 | 第63-64页 |
| 致谢 | 第64页 |
