在对称密码体制中,(向量)布尔函数作为唯一的非线性组件,对密码体制的安全性起着至关重要的作用。为抵抗各种传统攻击,布尔函数需要具有好的密码性质:高代数次数、高非线性度、高代数免疫等。此外,BDD攻击,作为一种新型攻击方法,对布尔函数的密码性质提出了新的要求,即布尔函数需要具有高的BDD size。然而,截止目前,关于这个关键指标的研究还非常之少。本文在布尔函数理论知识的基础上,对BDD size展开研究,利用BDD对一些新型主流攻击进行权衡,为设计密码函数提供相关数据,主要工作包括:第一,旋转对称布尔函数的BDD size分析。主要分析旋转对称布尔函数的构造及搜索空间,给出了 BDD size对应的函数分布,搜索结果显示:旋转对称布尔函数的绝大部分BDD size占取值区间的1/3,且该类函数比较容易搜索到较大 BDD size。第二,Hidden weighted bit function(HWBF)的 BDD size 分析。本文从 OBDD模型入手,在fooling set概念的基础上构造平衡分区并给出函数边界值|AOBDD|的一般性表达式,对HWBF节点的下边界进行不完全讨论,在取半讨论的情况下n元HWBF的BDD size下边界为Ω(1.14n)。第三,基于遗传算法挖掘抗综合攻击的密码布尔函数。本文结合布尔函数的特点设计并改进遗传算法,挖掘门级锁定中抗SAT与Bypass互补型攻击和BDD攻击的布尔函数,给出了3～10元布尔函数的最大BDD size与对应的汉明权范围,在函数搜索空间达到21024的同时,确保搜索结果的准确性。