【摘 要】
:
前向安全思想为数字签名系统的密钥提供了安全性保证。本文研究了前向安全的基本模型;利用离散对数的困难性,构造了一种具有前向安全性的新型ELGamal盲数字签名方案,并给出正确性分析。不但解决签名者对所签消息追踪问题,同时也解决了攻击者在获得某个时期的密钥时对其他时期的密钥构成威胁,因而具有较高的安全性。
【机 构】
:
河南理工大学计算机学院 河南理工大学机械与动力工程学院,河南 焦作 454003
【出 处】
:
河南省计算机学会2007年学术年会
论文部分内容阅读
前向安全思想为数字签名系统的密钥提供了安全性保证。本文研究了前向安全的基本模型;利用离散对数的困难性,构造了一种具有前向安全性的新型ELGamal盲数字签名方案,并给出正确性分析。不但解决签名者对所签消息追踪问题,同时也解决了攻击者在获得某个时期的密钥时对其他时期的密钥构成威胁,因而具有较高的安全性。
其他文献
文介绍了40万吨/年PTA装置氧化钛内波外螺纹管冷凝器的研发及应用情况,与传统的管壳式换热器相比较,具有传热系数高、占地小、防振动及适用范围广的优点。且增产节能效果明显,同时节省原材料投资。2011年5月通过了中国石化组织的技术鉴定。
本文介绍了三种不同类型的宇神牌氧化还原树脂除氧器的除氧原理、结构、特点、用途和在工业上成功应用的案例。基于这类除氧器对比于传统除氧器而言的在节能、减排及低碳方面的明显的优越性。指出它们在工业上,尤其是在化工行业及工业锅炉给水等除氧领域具有广阔的应用前景。
Deep Web上的信息越来越多,研究表明,Deep Web站点中提供了大量高质量的信息对许多用户来说非常有价值。如何有效的找到这些Deep Web的数据源接口,是进行Deep Web数据挖掘的前提。本文针对如何自动发现并确定一个Deep Web数据源的理论框架,通过实际实验证明此方法是非常有效的。
基于分布式协同工作网络环境中的分布式、跨平台、多对等Agent、实时同步等优点,同时针对海上无源跟踪中存在目标定位不准确,目标关联失真等问题,目标航迹计算模糊等问题,设计了应用于模拟海上无源跟踪模拟多平台的协同定位系统。讨论了无源定位中无源目标定位、目标跟踪的解决方案,结合现有的目标关联算法提出了一种新目标综合关联算法的设计方案,实践证明该方法具有确实的可行性,并能很大幅度提高目标关联正确率、降低
计算机辅助决策支持在企业决策中尤其是企业高层决策中起着重要的作用,它为企业科学决策、理性决策提供了理论依据和数据支持。本文从建设项目经济效果评价方法出发,结合企业实际,采用技术经济和社会经济多项技术指标综合考虑和面向对象的建模技术,架构了一个面向建设投资领域的计算机辅助决策支持系统。
本文面向混杂系统建模中离散事件和连续变量的描述问题,提出一种混合Petri网模型-粒子(Particle)Petri网,并给出粒子Petri网的形式化定义以及相应的触发规则和状态演化过程。该网引入粒子滤波器,能够更加精确地计算系统中连续参数的变化,从而可以处理混杂系统连续变量变化过程中的不确定性。相对于已有的混杂系统建模方法,该模型能够更加精确地描述系统行为的演变过程。通过对应用实例进行建模,表明
为了解决sIB算法在稀疏数据集上的精度不确定的问题,本文介绍一种非常有效算法-面向有限稀疏数据顺序IB算法(fsIB),fsIB采用了概率论中贝叶斯因子的顺序IB方法进行分布式硬聚类。本文从理论基础和算法等方面详细的介绍fsIB算法,并对fsIB和sIB算法进行详细的对比分析,分析结果表明:fsIB算法继承sIB算法中的诸多优点,而且在小的有限稀疏数据集,fsIB算法性能优于sIB算法,这些理论分
全散播通信中,对于大小不同的消息应分别进行优化,对于小消息,主要考虑如何优化系统软件开销;对于大消息,主要问题是如何避免网络阻塞。胖树网络因其良好的可扩展性以及较高对分带宽得到了广泛应用,可以结合胖树网络中的阻塞避免通信模式来设计全散播通信算法。但是点到点消息发送依旧是其提高性能的障碍,如果能使用多播实现全散播通信,则可以利用多播的硬件优势,提高全散播通信的性能。
数字取证技术已经成为当前研究热点之一。本文首先分析了数字取证的定义以及数字证据的特性。然后从取证模型、技术以及现有的取证标准和法规方面重点阐述了数字取证技术的研究进展,讨论了数字取证分析技术的分类方法以及文档碎片取证分析技术,分析了数字取证领域中存在的难点问题,探讨了数字取证技术研究的发展趋势。
在分布式开发环境中,每个本体都能被不同的开发者编辑修改,本体之间的一致性管理就成为关键问题。本文提出一个分布式本体开发的概念模型系统,并重点介绍了在这个系统模型中构建本体时,如何对本体之间的依赖性进行管理以及利用此模型进行分布式开发本体的过程步骤。