基于面向对象Petri网的CORBA分布式系统安全性的形式化研究
| 提要 | 第1-5页 |
| 目录 | 第5-8页 |
| 第一章 引言 | 第8-20页 |
| ·CORBA 简介 | 第8-12页 |
| ·ORB 的体系结构 | 第9-11页 |
| ·CORBA 技术的特点 | 第11-12页 |
| ·研究背景 | 第12-18页 |
| ·CORBA 系统安全服务 | 第12-14页 |
| ·保护(Protection) | 第12-13页 |
| ·保证(Assurance) | 第13-14页 |
| ·CORBA 系统安全服务的必要性 | 第14-15页 |
| ·CORBA 系统安全服务的应用需求 | 第15-16页 |
| ·软件系统形式化描述的必要性 | 第16-18页 |
| ·论文的组织和内容安排 | 第18-20页 |
| 第二章 分布式系统形式化分析方法 | 第20-30页 |
| ·形式化技术的产生和发展 | 第20-21页 |
| ·形式化方法的主要研究内容 | 第21-22页 |
| ·形式化方法分类 | 第22-27页 |
| ·基于模型的方法 | 第22-24页 |
| ·基干逻辑的方法 | 第24-25页 |
| ·基于进程演算的方法 | 第25-26页 |
| ·基于网络的方法 | 第26-27页 |
| ·四类形式化方法比较 | 第27-30页 |
| 第三章 Petri 网原理介绍 | 第30-40页 |
| ·Petri 网概念 | 第30-32页 |
| ·Petri 网的性质 | 第32-33页 |
| ·Petri 网的分析方法 | 第33-35页 |
| ·有色Petri 网(CPN) | 第35-40页 |
| 第四章 CORBA 系统的OOPN 建模 | 第40-63页 |
| ·基本Petri 网模型的特点 | 第40-41页 |
| ·面向对象方法及其特点 | 第41-43页 |
| ·面向对象Petri 网(OOPN) | 第43-50页 |
| ·一个网上购物的例子 | 第43-45页 |
| ·面向对象Petri 网(OOPN)的形式定义 | 第45-49页 |
| ·面向对象Petri 网的图形表示 | 第49页 |
| ·OOPN 运行规则 | 第49-50页 |
| ·网上购物系统的OOPN 模型 | 第50-63页 |
| ·系统的静态性能分析 | 第52-55页 |
| ·系统的动态性能分析 | 第55-63页 |
| 第五章 系统安全性的形式分析 | 第63-72页 |
| ·CORBA 安全服务规范 | 第63-67页 |
| ·CORBA 安全服务 | 第64-65页 |
| ·主体 | 第65-66页 |
| ·不可否认 | 第66-67页 |
| ·不可否认的形式分析 | 第67-72页 |
| ·责任分析 | 第67-68页 |
| ·证据 | 第68-72页 |
| 第六章 总结和进一步的工作 | 第72-75页 |
| ·本文总结 | 第73页 |
| ·进一步的研究工作 | 第73-75页 |
| 参考文献 | 第75-81页 |
| 摘要 | 第81-84页 |
| Abstract | 第84-89页 |
| 致谢 | 第89页 |
