CORBA非否认服务的研究与实现

论文摘要

CORBA 非否认服务是CORBA 安全服务的功能性选项,它将产生关于所声明的事件或行为的不可否认的证据,并可以被检查以提供行为的证据。本文利用现有的开源工具TAO、OpenSSL、Xerces-C++、Xalan-C++、xml-security-c 实现非否认服务的一般功能,即非否认证据的生成与验证功能。非否认服务是CORBA 安全服务的一个可选功能包,而且必须依赖于CORBA 安全服务的实现程度。CORBA 规范中规定的非否认服务是在应用的控制之下的,而不是在对象调用中自动完成,因此所有关心这个服务的应用都可以使用。非否认服务允许应用处理各种各样的类型的证据,而不只是发送一个消息和接收到一个消息的证据生成与验证。非否认服务的实现基于一个公式,即非否认等于数字签名加上一个可信时间戳。数字签名采用XML数字签名,签名方法使用SHA-1 RSA,是公认的最著名的非对称加密算法之一。选择的规范化方法是不带注释的规范化XML1.0。非否认服务应用范围广泛,不仅应用在CORBA 系统中,还可以应用在企业ERP、网格计算等的安全系统中。

论文目录

• 内容提要
• 第一章 绪论
• 1.1 CORBA 简介
• 1.2 CORBA 安全服务
• 1.2.1 安全的定义
• 1.2.2 CORBA 系统安全服务的必要性
• 1.2.3 CORBA 系统安全服务的研究现状
• 1.2.4 CORBA 非否认服务
• 1.3 本文的工作
• 第二章 开发工具
• 2.1 TAO
• 2.1.1 TAO 的现状
• 2.1.2 TAO 安全服务
• 2.2 OpenSSL
• 2.2.1 OpenSSL 简介
• 2.2.2 OpenSSL 的组成
• 2.3 xerces-c、xalan-c 和xml-security-c
• 2.3.1 xerces-c
• 2.3.2 xalan-c
• 2.3.3 xml-security-c
• 2.4 硬件环境和软件环境
• 第三章 非否认服务的分析与设计
• 3.1 CORBA 非否认服务模型
• 3.1.1 非否认服务的位置
• 3.1.2 非否认服务的证据
• 3.1.3 非否认服务组成
• 3.2 非否认服务的理论基础
• 3.2.1 序言
• 3.2.2 非否认证据
• 3.2.3 非否认的策略
• 3.2.4 完整证据
• 3.3 非否认服务的功能
• 3.3.1 功能简述
• 3.3.2 非否认策略管理
• 3.4 非否认服务设计的几个关键问题讨论
• 3.4.1 非否认服务安全机制分析
• 3.4.2 公开密钥算法的非否认功能分析
• 3.4.3 非否认令牌中的数据结构分析
• 3.4.4 令牌传递的讨论
• 第四章 非否认服务的实现
• 4.1 XML 签名
• 4.1.1 XML 签名的概念
• 4.1.2 XML 签名类型
• 4.1.3 XML 签名语法和示例
• 4.1.4 核心生成与核心验证
• 4.2 证据的生成与验证
• 4.2.1 选择DOM 或者SAX
• 4.2.2 DSIGSignature 类
• 4.2.3 私钥和公钥
• 4.2.4 时间戳
• 4.2.5 接收者的响应
• 4.2.6 分发授权和证据的存储与恢复
• 第五章 总结
• 参考文献
• 摘要
• ABSTRACT
• 致谢
• 导师及作者简介