暂无评论
栅栏分析器生成反例以帮助MPI程序员诊断同步错误。然而,对于某些真实程序现有的反例生成方法不支持快速的错误诊断。提出了一种改进的反例生成方法。该方法记录了多值表达式的传播历史并且能够推导出触发同步错误
通过分析一个基于椭圆曲线的具有消息恢复的数字签名方案，发现原方案的消息恢复存在安全性的缺陷，并针对此问题给出了改进的方案，解决了任何人都能恢复消息的缺陷。介绍了基于椭圆曲线的具有消息恢复的数字签名方案
可信网络连接协议作为可信计算框架中的核心技术，存在中间人攻击的安全威胁。为了解决中间人攻击问题，优化了Diffie-Hellman密钥交换协议，提出了基于数字签名及签名验证的端到端协议。与现有协议相比
针对AdHoc网络虫洞攻击的OLSR路由协议改进，姚胜，冷甦鹏，虫洞攻击是移动AdHoc网络中一种极难防御并能造成极大破坏作用的攻击形式，它不需要捕获合法节点，甚至当网络对信息的传输进行认证
攻击图是网络安全定性分析的常用工具，能为安全管理员阻止恶意入侵提供重要依据。为了进行网络安全测评和主动防御，提出防御策略模型和基于该模型的改进二进制粒子群算法。基于攻击图中的每个入侵动作，构建带权防御
非控制数据攻击（non-control-data attack）是一种有别于传统攻击模式的新方式, 通过窜改系统中的安全关键数据, 实现不改变程序控制流程进行攻击。针对已有的防御措施中静态分析方法依赖
分析了传统灰度图像直方图均衡化算法的不足，讨论并实现了一种改进的直方图均衡化图像增强算法。该算法与传统的算法相比，给出了合适的映射关系，运算效果有很大改善，减少了图像信息的丢失，特别是对于质量较差的原
RFID系统中标签碰撞是一个常见问题。为解决该问题，基于Gen-2协议提出了一种改进算法，该算法考虑到阅读器对碰撞时隙和空闲时隙的响应时间不同，运用两个不同的C值动态调整Q值，并在碰撞的情况下对时隙进
提出了一个具有前向安全的盲代理重签名方案，并在随机预言机的模型下证明了该方案能抵抗伪造攻击的特性。该方案除了具有消息透明性外，还能保证即使当前周期的签名密钥被泄露，也并不影响此周期前签名的有效性。
改进型mapreduce框架的研究与设计，常涛，，随着网格计算被取代，云计算迎来了蓬勃的发展。Hadoop作为开源云计算平台，得到了国内外很多公司的青睐。相应的，作为Hadoop的子项目
暂无评论