布尔函数的扩散性质分析和饱和最优布尔函数的构造-analysis of diffusion properties of boolean functions and construction of saturated optimal boolean functions.docxVIP

信息工程大学硕士学位论文Abstract．Tluspapermainlydealswitllthepropagationcriteriaofresilientfunctionsandpartially—bentfunctionsandtheconstructionofsaturatedbestfimctions．Firstwepresentalowerboundofnonlinearityofresilientfunctionswithknownalgebranumberandpropagationcriteria．Furthermorewegivetheformandextentofnonlinearityofthesefunctions．Then，weconsiderthesupposeofJ．Seberry,X．M．Zhang和Y．Zhengabouttheset彤，duringtheresearchwefoundacounterexampletothesuppose，Seeexample3．1．1，whichshowsthatthesupposeisnottrue．Furtherreseamhweprovedthesuppodeistrueforakindofgivenbooleanfunctionsvizpartially-bentfunctions．seetheorem3．1．1．Basedonthischaracterwegivesomespecialpropagationcriteriaandcorrelationimmunecharacteristicsofpartially—bentfunctions．concretelywestudytwovectorsetsofpartially—bentfunctions，thatis，thesetR。satisfyingthepropagationcriteriaandthesetFwhoseWalshspectrumsequaltozero，arediscussed，IfR。簖)isanon-emptyset，then2”1≤lR。l2”(2”1≤1Fl2’．Undertheconditionofnondegeneratelineartransformation，apartially-bentfimctionflx)on％satisfiestheSACifandonlyifthereexistsavector口∈Ksuchthat姒∞=0．UndertheconditionofIRI2，wepresentanupperboundofthedegeeofpartially—bentfunctionssatisfythepropagationcriteria．FinallywestudytheconstructionofsaturatedbestfunctionandobtainasufficientandnecessaryconditionaboutBooleanfunctiontobeSaturatedBestfunction．KeyWords：Resilientfunction，partially-bentfunction，propagationcriteria，correlationimmune，lineartransform，SaturatedBestfunction第ii页信息工程大学硕士学位论文第一章导引密码学中在研究同步流密码生成器时，人们常将之分成两个部分一一驱动部分和非线性组合部分，它们的任务分别是：驱动部分控制存储器的状态转移，负责提供若干供组合部分使用的周期大、统计特性好的序列，而非线性部分则将由驱动部分提供的序列组合成满足要求的、性质好的密钥流序列。由于LFSR序列的理论已经成熟，特别是m一序列具有良好的伪随机性，所以驱动器部分的设计比较容易，而非线性组合部分的设计则成为密钥流生成器设计的重点和难点。为了使密钥流生成器能抵抗各种已知的攻击，人们在功能上已经对非线性组合部分提出了多项要求。而非线性组合部分可由逻辑函数来实现，因此对非线性组合部分的研究实际上就是对逻辑函数的研究，对非线性组合部分的要求也就是对逻辑函数的要求。由之，在密码学中关于逻辑函数的性质、构造和有关计数研究也就是很有意义的。其中二值逻辑函数亦即布尔函数又是研究的重点。序列密码的安全性取决于密钥的随机程度，生成密钥的最基本的方法是通过布尔函数级联多个移位寄存器。又如分组密码中s盒的设计，每一个s盒可以认为是一个非线性的布尔函数，众所周知的差分分析方法就是通过对数据加密标准(DES)的S盒结构的分析发现的。所以布尔函数的研究在序列密码和分组密码的研究中占有重要地位。由于各种攻击手