一种布尔多项式的高效计算机表示 | |
李昕 ; 林东岱 ; 徐琳 | |
2015-09-10 ; 2015-09-10 | |
关键词 | 代数攻击 布尔多项式代表 布尔方程组求解 Grnber基 空间需求 |
中文摘要 | 布尔方程组求解技术对于密码分析具有重要的现实意义.然而,在众多求解算法的实际计算过程中,难以抑制的空间需求增长与计算机系统有限的存储能力之间的矛盾,正是当前制约布尔方程组求解技术取得更大成果的最主要瓶颈.针对基于消项的求解算法,分析了该矛盾的产生根源,提出了解决途径,进而设计了一种全新的布尔多项式计算机表示,称之为BanYan.BanYan适用于基于首项约化的求解算法,如F4,F5,XL等算法.通过记录中间结果的生成信息而非其本身,避免算法实现陷入项数规模高速膨胀带来的巨大存储负担.与BDD和系数矩阵等基于项的传统布尔多项式表示相比,平均情况以及最坏情况下,使用BanYan表示法所需要的空间约为项数表示法的1?l(l为计算过程中产生的多项式的平均项数),从而显著提升布尔方程组求解算法的现实求解能力. |
内容类型 | 期刊论文 |
源URL | [http://ir.calis.edu.cn/hdl/232060/14131] ![]() |
专题 | 中国矿业大学(徐州) |
推荐引用方式 GB/T 7714 | 李昕,林东岱,徐琳. 一种布尔多项式的高效计算机表示[J],2015, 2015. |
APA | 李昕,林东岱,&徐琳.(2015).一种布尔多项式的高效计算机表示.. |
MLA | 李昕,et al."一种布尔多项式的高效计算机表示".(2015). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论