【摘 要】
：
该论文的工作主要是:以X.509标准为基础,对PKI系统的体系结构作一定的研究,并设计一个适用于企业的PKI系统框架.这个系统框架的目标是适当划分整个PKI系统的功能组件,使其具
论文部分内容阅读
该论文的工作主要是:以X.509标准为基础,对PKI系统的体系结构作一定的研究,并设计一个适用于企业的PKI系统框架.这个系统框架的目标是适当划分整个PKI系统的功能组件,使其具有一定的可扩展性和互操作性,为日后的进一步研究,实现打下基础.分析目前相对较成熟的几种不可否认服务协议,并对其不足之处作出改进.对所作的改进采用形式化理论工具进行证明.对不可否认服务的实现技术作一定的研究,并提出自己的解决办法. 在论文中,对非对称加密技术和PKI技术及其现状作了简要综述,分析了PKI系统的功能需求,系统组成及各子系统的划分.特别讨论了PKI域间认证的机制.根据APKI分析设计了PKI系统的层次模型. 在对不可否认协议技术的研究中,简要介绍了现有的不可否认协议,重点分析了J.Zhou和D. Gollmann提出的不可否认协议,对zhou-Gollmann的协议提出了一个新的改进办法,克服了该协议存在的不足,并用SVO逻辑改进后的协议进行正确性验证.最后探讨了不可否认协议的实现技术,并提出了解决方案.
其他文献
随着视频数字化技术的广泛应用,视频服务系统中的存储"瓶颈"也日益突出.因此,如何实现高性能的视频存储系统成为人们研究的热点.目前,提高存储系统性能主要有两个切入点:提高
互联网络自从诞生以来,已经成为人们日常生活中不可或缺的一部分,人们可以通过网络查询信息,获取资讯,甚至寻求帮助。但互联网络的开放性和信息多样化正使得网络安全问题显得
科学计算可视化技术的核心是三维空间数据场的可视化,散乱体数据是一种重要的三维数据类型.为大尺寸散乱体数据可视化开发高效、精确和易于实现的算法一直是科学计算可视化领
随着数据库应用的不断深化，数据库的规模急剧膨胀，但是数据库管理系统却没有提供有效的工具和方法来利用这些数据，因此充分利用数据进行决策支持成为当今最需要深入研究的领域。
应用软件在开发完成投入运行后，就进入到软件的维护阶段。由于软件维护阶段存在各种变化的因素，导致应用系统性能逐渐不能满足用户要求。因此，软件维护阶段性能优化在整个软件生
随着软件工程的发展，基于模型的软件开发方式越来越受到重视，成为软件工程领域的发展趋势。由于模型具有方便、易懂、易维护并且对设计需求反应灵敏的特点，基于模型技术可以提高
如何应用当前的最新技术(如分布式对象技术、多代理技术、XML技术等),使得全局模式多数据库系统能完全透明地访问各成员数据库系统中的数据,以实现不同数据源之间的互操作,正
目前企业的分布信息系统虽然在软件结构和系统实现技术方面具有一定的灵活性,但是,系统各部分固有的紧耦合关系及其业务逻辑的"硬编码"等制约了系统的敏捷性.针对分布信息系
同以往的会议系统相比较，计算机网络多媒体会议系统使与会者更具有身临其境的感觉，它既能免除人们远赴会场所带来的旅途劳累，减少时间开销、降低会议成本，使信息的传递和交流更加
该论文主要研究Web搜索引擎的信息采集技术,重点为WWW搜寻算法.在对现有主要算法如广度优先算法、Backlink算法和PageRank算法进行分析比较的基础上,认为这几个算法没有考虑