基于布尔异或掩码转算术加法掩码的安全设计

针对布尔异或掩码转算术加法掩码算法需要额外引入随机数的缺点,提出了一种基于数字电路设计的高效转换方法。该方法站在高效电路设计的角度,将布尔异或掩码转换成算术加法掩码,同时保证在数据转换过程中泄露的能量消耗和敏感中间值无依赖关系,有效保护了敏感信息。该电路逻辑结构简单,并在FPGA开发板上进行了实测攻击分析。实验结果表明,该方法具有有效性,拓展了安全防护电路的设计思路。

逻辑函数在布尔减-异或、布尔除-符合代数系统中的规范展开式

证明了布尔减、异或运算以及布尔除、符合运算的完备性,并从与-异或及或-符合代数系统中的RM、CRM展开式出发,分别推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范展开式.举例说明了与-或-非代数系统中规范展开式与布尔减-异或、布尔除-符合代数系统中的规范展开式之间的转换.

逻辑函数的布尔减-异或、布尔除-符合展开式在固定极性下的最小化方法

在混合极性下的减-异或、除-符合展开式的最小化方法基础上,讨论了在固定极性下减-异或、除-符合展开式的代数化简法和图形化简法,并给出了化简实例.实例验证了上述方法的有效性.该法有助于进一步完善减-异或、除-符合代数系统的理论并促进新的数字元件及新一代数字电路的研发.

逻辑函数的减-异或、除-符合展开式的最小化方法

本文根据布尔减-异号、除-符合代数系统中的规范展开式,给出了布尔减-异或、除-符合逻辑函数的代数化简法和图形化简法。

逻辑函数的规范XOS和COD展开式

从香农展开定理出发,推导了任意逻辑函数在布尔减-异或及布尔除-符合代数系统中的规范减之异或和除之符合展开式,并给出了相应的图形表示.

视觉零知识身份认证的研究

零知识证明协议是一种非常强大的密码系统。大部分的零知识身份识别方案的安全性是基于复杂的数学算法,和交互双方大规模的计算,即证明者和示证者。而视觉密码技术是一种特别的不需要了解密码学和相应的复杂的数学计算的密码学。因此提出了一个新的基于视觉密码的零知识身份证明方法,克服了当前零知识身份证明协议依赖计算设备和复杂计算。