基于Rabin指纹方法的URL去重算法

针对现有URL检索算法占用存储空间较大,对重复率高的URL集合检索速度较慢,使Web Spider的效率降低的问题,提出了一种改进的URL去重算法.此算法基于Rabin指纹方法,以URL的指纹为地址,仅用一位数据标识一条URL,每次检索仅需对相应的一位数据的值做一次判断.实验表明,该算法能有效去除URL集合中重复的URL.提高检索速度.     

基于Rabin概率思想的ElGamal数字签名

把Rabin概率思想应用到EIGamal签名方案中,大大提高了方案的安全性。效率方面 与原体制相比,只要选择合适的t值后,仍可以保证签名与验证效率。     

基于变形Rabin算法的RFID安全协议

运用CRC校验和变形的Rabin算法,提出一种基于变形Rabin算法的无线射频识别双向认证安全协议。该协议能够防止位置隐私攻击、重传攻击、窃听攻击和去同步化攻击,且由于减少搜索后端数据库的次数,避免复杂的Hash计算,具有较高的协议效率。性能分析表明,该协议硬件复杂度相对较低,适用于低成本的标签。     

基于Rabin算法的可扩展RFID双向认证协议

针对现有的无线射频识别（RFID）安全认证协议存在安全缺陷、标签成本较高以及后台数据库需要进行大量的计算来搜索匹配符合要求的标签信息来进行认证等问题,提出了一种基于Rabin算法和交叉位运算的可扩展RFID双向认证协议。并基于BAN逻辑形式化分析方法,证明了该协议的正确性与安全性。安全分析和性能评估表明该协议不仅具有防假冒、防重放、防跟踪、可扩展性等特点,而且减少了标签的计算花费和门电路数,使得其成本大大降低,适用于低成本的RFID系统。     

Rabin指纹去重算法在搜索引擎中的应用

针对搜索引擎在海量数据中搜索速度慢,占用存储空间大,对重复的网页去重性差的现状,提出一种基于Rabin指纹算法的去重方法,不仅对搜索到的URL地址进行去重,还对非重复URL地址对应的网页内容进行相似和相同的去重,试验表明能有效地提高搜索速度、节省存储空间,增强搜索的精度。     

基于三次同余方程的增强的Rabin密码体制

对Rabin密码体制理论进行了新的探索和研究,把加密和解密过程中求解的二次同余方程替换为三次同余方程,在不增加计算复杂度的同时获得了更高的安全性。对于某类特殊的重要情形,给出了全部解的解析形式,并用几个简单算例验证了求解方法的正确性。在增强的密码体制下,发展了更为灵活的“不经意传输”协议。     

基于Rabin加密算法的RFID标签所有权转移协议

针对在物联网应用中,RFID标签在其生命周期内会涉及到所有权转移的问题,现有的RFID标签所有权转移协议存在安全缺陷或计算量大等不足,提出了一种改进的基于Rabin加密算法的RFID标签所有权转移协议。改进的协议不依赖可信第三方,协议摒弃传统的基于HASH函数加密方法,采用Rabin算法实现对信息的加密。采用挑战响应机制,利用Status标志位来标志标签当前所有权的归属,实现标签所有权的安全转移。分析结果表明,改进的协议不仅满足标签所有权转移的安全需求,而且克服了原协议中存在的暴力破解攻击安全缺陷问题,同时降低了标签的计算量,在安全性和效率方面较已有的RFID标签所有权转移协议有较大提升。     

基于Rabin概率思想的EIGamal数字签名

把Rabin概率思想应用到EIGamal签名方案中,大大提高了方案的安全性.效率方面与原体制相比,只要选择合适的t值后,仍可以保证签名与验证效率.     

基于FPGA的AES-128密码算法实现研究

介绍了AES算法的流程,以及基于Stratix系列FPGA实现AES-128加解密算法的设计思路和优化措施。和未优化前的设计进行比较,证明了设计方案的有效性。     

Rabin指纹算法在重复数据检测中的应用研究

Rabin指纹算法计算效率高、随机性好,可将数据更改对连续指纹序列的影响限制在局部范围内,广泛应用于重复数据检测领域。分析了Rabin指纹在有限域GF(2n)上的运算原理,得出滑动窗口移动时定长字符序列的数字指纹快速计算公式。用伪代码描述了Rabin指纹算法在重复数据检测中的应用,并用VC++语言进行了算法实现,在普通计算机上提取Word文档、程序源代码和BMP图像等三类文件作为测试数据集,测试结果表明算法是有效的。     

一种基于通道的层次布图算法的研究和实现

针对软件分析与测试工具中逆向建模出现的一些复杂情况,如聚合关系和非结构化的关系等。讨论了算法的步骤和关键技术,并给出了相对应的应用实例。该算法具有层次清晰、对称性强、交叉线少、可视化效果好等特点。     

浅析加密算法及应用

提出了加密数据的通信过程,并分析了两个加密算法,同时给出了算法的代码.     

基于CamShift的手势跟踪算法的定点实现

在OpenCV 1．0中CamShift浮点算法的基础上,对算法进行定点实现。介绍CamShift算法的基本原理,详细阐述对CamShift浮点程序定点化的方案、流程和具体方法。定点化结果表明,定点化后程序与原浮点程序偏差较小。满足跟踪性能的要求．可用于下一步的硬件实现。     

二维熵阈值法的修改及其快速迭代算法

提出二维熵阈值法的一种修改方法和其快速迭代算法。针对传统二维熵阈值法及其递推算法的高计算复杂性的不足,首先对二维直方图所对应的二元概率分布进行修改并得到一种新的二维熵阈值法。其次假设二维直方图所对应的二元概率分布是连续可微的条件下导出的修改后的二维熵阈值法的快速迭代算法。实验结果表明,文中提出的修改二维熵阈值法及其快速迭代算法是可行的,且快速迭代算法的时间消耗相对其递归算法有很大程度地降低。     

Verification of the Miller–Rabin probabilistic primality test

Using the theorem prover, we apply our formalization of probability theory to specify and verify the Miller–Rabin probabilistic primality test. The version of the test commonly found in algorithm textbooks implicitly accepts probabilistic termination, but our own verified implementation satisfies the stronger property of guaranteed termination. Completing the proof of correctness requires a significant body of group theory and computational number theory to be formalized in the theorem prover. Once verified, the primality test can either be executed in the logic (using rewriting) and used to prove the compositeness of numbers, or manually extracted to standard ML and used to find highly probable primes.     

一种快速DCT图像压缩算法的研究

主要对JPEG图像压缩标准中的DCT变换和量化部分提出了一些改进意见。其中 ,DCT变换部分采用查表法代替常规DCT算法 ,大大提高了其运算速度 ;量化部分用基于简单有效的“二重测试算法”的矢量量化取代了一般的欧氏距离矢量搜索算法 ,明显加快了码书的搜索速度。     

RSA算法的一种DSP快速实现

根据DSP特性采用了RSA模幂快速算法,在节省了主机资源的同时加速了RSA算法;另一方面,方案采用密钥拆分机制,使得完整私钥对于外界是无法访问的,同时提高了RSA算法在实际应用中的安全性。