关于0-1编码谱技术检测旋转对称函数.pdf

浙江大学学报(理学版) of Journal 第39卷第6期 ZhejiangUniversity(ScienceEdition) V01．39NO．6 2012年11月 http：／／www．journals．zjn．edu．cn／sci NOV．2012 基于0—1编码谱技术检测旋转对称函数 马汝星h2，陈偕雄2 (1．金华职业技术学院信息学院，浙江金华321017；2．浙江大学信息与电子工程学系，浙江杭州310027) 摘要：分析了旋转对称函数的ol编码Hadamard变换谱系数的特点，给出了变量数n为素数的旋转对称函数的 必要条件，提出了基于O一1编码Hadamard变换检测旋转对称函数的方法，该方法具有可编程操作以及同时可检测 其他特殊布尔函数等优点． 关 键 词：谱技术；0-1编码Hadamard变换；旋转对称函数；特殊布尔函数检测 331 中图分类号：TP 文献标志码：A 文章编号：1008—9497(2012)06—648—03 丁 一一∥姗一～ M J扎 ㈦M胁曲 一如一 u 记 啭 ∞ K r ～～一一一一～ 一曲 蚶i =一{．篙戮一蒙i ～一～一～～一一～№蛐一咖呲一咖～～ 一一 一 ～一～～一．㈣詈m ～一一～ 彬～圳～一‰～一一 一一一：蓁伽～一一一 篆=麓一 一一一～一一一一一 codedHadamardtransform；rotationfunction；detectionof KeyWords：spectraltechnique；O-1 symmetric special Booleanfunction 自从Coleman[13开拓谱技术在数字逻辑中的应 于O-I编码谱技术检测旋转对称函数的方法尚缺乏 用以来，谱技术在数字电路的分析、设计、布尔函数 分类、故障检测以及特殊布尔函数的检测等领域中 测旋转对称函数的方法，为旋转对称函数的检测提 的应用受到国内外学术界的关注[1_3]．谱技术在对供新的技术方法，同时也拓宽了。一1编码谱技术的 称函数、线性函数、冗余函数、自反函数和自双反函 应用领域． 数等特殊布尔函数检测中的应用可以在文献[2—5] 中找到．旋转对称函数也是一种特殊布尔函数．文献 1 0-1编码Hadamard变换 [6]指出，旋转对称函数在输入变量周期性旋转变化 时函数值保持不变，该性质对于MD4、MD5及 在数字逻辑谱技术中常用的谱变换有Had— HAVEL等算法的高效执行有重要作用，旋转对称 函数在密码学领域获得了广泛的应用口]．由于旋转 对称函数的独特性质及重要应用，关于旋转对称函 点而最受关注，在通常的谱技术中函数值∈ 数及其检测方法的研究也就具有重要意义．文献[63 {1，一1}，因此对于函数值需作。一1，1一一1编码． 给出了检测旋转对称函数的表格方法，然而对于基 本文采用的0-1编码谱技术中函数值∈(0，1}，因此