Spectral domain analysis of correlation immune and resilient Boolean functions

被引:41
作者
Carlet, C [1 ]
Sarkar, P
机构
[1] Univ Paris 08, F-93526 St Denis 02, France
[2] Inst Natl Rech Informat & Automat, Project CODES, F-78153 Le Chesnay, France
[3] Univ Waterloo, Dept Combinator & Optimizat, Ctr Appl Cryptog Res, Waterloo, ON N2L 3G1, Canada
关键词
Boolean function; correlation immunity; resiliency; nonlinearity; algebraic degree; stream ciphers;
D O I
10.1006/ffta.2001.0332
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
We use a general property of Fourier transform to obtain direct proofs of recent divisibility results on the Walsh transform of correlation immune and resilient functions. Improved upper bounds on the nonlinearity of these functions are obtained from the divisibility results. We deduce further information on correlation immune and resilient functions. In particular, we obtain a necessary condition on the algebraic normal form of correlation immune functions attaining the maximum possible nonlinearity. (C) 2002 Elsevier Science.
引用
收藏
页码:120 / 130
页数:11
相关论文
共 14 条
[1]  
[Anonymous], 1991, LECT NOTES COMPUTER
[2]  
Carlet C, 1998, LECT NOTES COMPUT SC, V1403, P462, DOI 10.1007/BFb0054146
[3]  
Carlet C, 1999, LECT NOTES COMPUT SC, V1719, P94
[4]  
CARLET C, 2000, COSET WEIGHT DIVISIB
[5]  
GUOZHEN X, 1988, IEEE T INFORM THEORY, V34, P569
[6]  
MACWILLAMS FJ, 1977, THEORY ERROR CORRECT
[7]  
PRENEEL B, 1991, LECT NOTES COMPUT SC, V473, P161
[8]   BENT FUNCTIONS [J].
ROTHAUS, OS .
JOURNAL OF COMBINATORIAL THEORY SERIES A, 1976, 20 (03) :300-305
[9]   A note on the spectral characterization of correlation immune Boolean functions [J].
Sarkar, P .
INFORMATION PROCESSING LETTERS, 2000, 74 (5-6) :191-195
[10]  
Sarkar P, 2000, LECT NOTES COMPUT SC, V1807, P485