中国矿业大学青年科技基金(2007A039)
- 作品数：3 被引量：7H指数：2
- 相关作者：李昕邹静米国粹曹天杰徐琳更多>>
- 相关机构：中国矿业大学中国科学院软件研究所中国科学院大学更多>>
- 发文基金：中国矿业大学青年科技基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于ZBDD的布尔多项式Grbner基算法的实现被引量：1
- 2011年
- 零压缩二元判定树ZBDD(Zero-suppressed Binary Decision Diagrams)作为一种近年来兴起的存储布尔多项式的数据结构能更有效地平衡内存消耗与计算速度;基于它的布尔多项式Grbner基算法可以在运算中保持ZBDD结构的不变性从而进一步提高计算效率。用C++实现了布尔多项式的Grbner基计算并对其进行既约化处理,验证了该算法的可行性以及在运算效率上的提高。
- 李昕张寅
- 基于分布式环境下的彩虹表密码攻击被引量：4
- 2011年
- 密码安全是被经常讨论的问题。分析了基于彩虹表的密码破解的基本原理,首先介绍了哈希链,分析了其原理和缺点,即容易出现链冲突。随后引出彩虹链,分析了其工作原理及优势。并使用分布式计算环境对彩虹表的分布式计算、分布式存储,分布式攻击等进行了相关研究。
- 李昕曹天杰米国粹邹静
- 关键词：密码安全分布式攻击彩虹表
- 一种布尔多项式的高效计算机表示被引量：3
- 2012年
- 布尔方程组求解技术对于密码分析具有重要的现实意义.然而,在众多求解算法的实际计算过程中,难以抑制的空间需求增长与计算机系统有限的存储能力之间的矛盾,正是当前制约布尔方程组求解技术取得更大成果的最主要瓶颈.针对基于消项的求解算法,分析了该矛盾的产生根源,提出了解决途径,进而设计了一种全新的布尔多项式计算机表示,称之为BanYan.BanYan适用于基于首项约化的求解算法,如F4,F5,XL等算法.通过记录中间结果的生成信息而非其本身,避免算法实现陷入项数规模高速膨胀带来的巨大存储负担.与BDD和系数矩阵等基于项的传统布尔多项式表示相比,平均情况以及最坏情况下,使用BanYan表示法所需要的空间约为项数表示法的1?l(l为计算过程中产生的多项式的平均项数),从而显著提升布尔方程组求解算法的现实求解能力.
- 李昕林东岱徐琳
- 关键词：代数攻击
