广义自缩序列的FBDD攻击

流密码是加密体制中的一种重要体制,一直是军事、政府等敏感部门加密的主要手段,近年来在新一代移动通信中占有主流地位。其安全性主要依赖于密钥流序列的安全。基于LFSR的构造是密钥流构造中最为常见的一种。针对基于单个LFSR的广义自缩序列,提出了一种FBDD攻击。该攻击基于BDD攻击,充分利用了BDDs对布尔函数操作上的优良特性。算法分析表明,其时间复杂度是理想的,但是其所需的内存空间较大,有待于进一步的改进。

集成电路中布尔线路图的优化设计

二叉决策图（ＢＤＤs） 是布尔函数的一个表示方法，最近它被广泛应用于逻辑综合中布尔电路的模拟和测试等领域。在这些应用中，有些基本问题需要解决，其中包括电路图到决策图的转换。文章提出了一个转换的方法并分两步叙述，首先是对无扇出电路的转换，然后是对有扇出电路的转换，最后把两者结合为一个通用算法。

二叉决策图在逻辑综合中的应用

二叉决策图 (BDDs)是布尔函数的一个表示方法 ,最近它被广泛应用于逻辑综合、布尔电路的模拟和测试等领域。在这些应用中 ,有些基本问题需要解决 ,其中包括电路图到决策图的转换。本文提出一个转换的方法。文中分两步叙述 ,首先是对无扇出电路的转换 ,然后是对有扇出电路的转换 。

基于自由二元判决图转换的可测性优化方法

提出了一种基于自由二元判决图转换的可测性优化方法。该方法首先将电路转化为ＦＢ－ＤＤ表达形式，然后用切换单元来替换ＦＢＤＤ中的节点，以形成易测的多级网络，再通过冗余的认定和消除来达到可测性逻辑优化的目的。与以前的可测性设计方法相比，这种方法适用于任意电路，特别是规模较大。

基于OBDD访问结构的无配对CP-ABE方案

为了提高基于属性加密技术的计算效率,对属性基加密构造中重要的一环访问策略进行了优化,基于有序二元决策图(OBDD)提出了一种新型的无配对CP-ABE方案。一方面,所提方案基于椭圆曲线密码技术,将传统CP-ABE方案构造中复杂的双线性配对运算替换为较为轻量级的标量乘法,降低了方案整体的计算开销。另一方面,所提方案采用基于OBDD的访问结构,该类型访问结构不仅能表示任何关于属性的布尔表达式,还能同时支持访问策略中属性的正负值,密钥的长度不随属性的个数而正比变化,密文长度也仅与访问策略中有效路径的个数有关。安全性和性能分析结果表明,所提方案在判定性Diffie-Hellman(DDH)假设下满足选择性选择明文安全,且方案的计算效率能满足物联网的实际应用需求。