布尔函数密码学性质的矩阵刻画-matrix characterization of cryptographic properties of boolean functions.docxVIP

信息工程大学硕士学位论文AbstractUsingcharacteristicmatrix，thisdissertationgivesmatrixdescriptiononpropagationcharacteristicofBooleanfunctionandtheexistenceconstructionofakindofO-SAC(k)function；thenitanalyzesspectrumcharacteristicofam·valuedlogicalfunctionwhichfulfillstheSACofhigherorderThemainresultsareasfollows：》Usingcharacteristicmatrix．itisthefirsttimethatanecessaryandsufficientconditionisgivenonaBooleanfunctionsarisfyingthepropagationcriterionatsomevector．Onthebasisofit，thenecessaryandsufficientconditionsaregivenonaBooleanfunctionsarisfyingstrictavalanchecriterion(SAC)andonabalancedSACfunctionwhichachievesthemaximumdegreeandhasnotnonzerolinearstructure．Finally，wepresenttwospecial“fillingvacanciesintheproperorder’methodsofconstructionand‘‘solvingtheequations”methodofconstruction．》TheBooleanfunctioniscalledCI-SAC(k)functionifitiscorrelationimmuneandsatisfiesstrictavalanchecriterionoforderk．Usingcharacteristicmatrix，anecessaryandsufficientconditionisgivenonthefunction(x1++x。)(‘+l+··-+_+女+1)+g(‘，，x．)beingbalancedCI·SAC(k)functionandachievingthemaximumdegree．Atthesametime，asimpleandfeasiblemethodispresentedforconstructingthisexcellentfunction．》Weanalyzespectrumcharacteristicofam-valuedlogicalfunctionwhichfulfillstheSACofhigherorder．ThentworecursionmethodsarepresentedforBooleanfunctionsatisfyingstrictavalanchecriterionoforderk．Keywords：propagationcriterion，strietavalanchecriterion，strictavalanchecriterionoforderk．1inearstructure，characteristicmatrix，Correlationimmune，Chrestensonspectrum信息工程大学硕士学位论文===================================================：!=：第一章引言在通信和密码领域中，安全保障是至关重要的问题，而确保安全的途径之一就是对所要发送的信。gJaffDn密．密码学中在设计同步流密码生成器时，人们常将之分成两个部分——驱动部分和非线性组合部分．它们的任务分别是：驱动部分控制存储器的状态转移，负责提供若干周期大、统计特性好的序列供组合部分使用，而非线性部分则将由驱动部分提供的序列组合成满足要求的、性质好的密钥流序列．由于LFSR序列的理论已经成熟，特别是Ⅲ一序列具有良好的伪随机性，所以驱动器部分的设计比较容易，而非线性组合部分的设计则成为密钥流生成器设计的重点和难点．为了使密钥流生成器能抵抗各种已知的攻击，人们在功能上已经对非线性组合部分提出了多项要求．而非线性组合部分可由逻辑函数来实现，因此对非线性组合部分的研究实质上就是对逻辑函数的研究，对非线性组合部分的要求也就是对逻辑函数的要求．由之，在密码学中关于逻辑函数的性质、构造和有关计数的研究也就是很有意义的了．布尔函数作为一种逻辑运算因其实现方便而常被选