Asymptotic enumeration of correlation-immune boolean functions
A boolean function of n boolean variables is correlation-immune of order k if the function value is uncorrelated with the values of any k of the arguments. Such functions are of considerable interest due to their cryptographic properties, and are also related to the orthogonal arrays of statistics...
Uloženo v:
| Vydáno v: | Cryptography and communications Ročník 2; číslo 1; s. 111 - 126 |
|---|---|
| Hlavní autoři: | , , , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Boston
Springer US
01.04.2010
|
| Témata: | |
| ISSN: | 1936-2447, 1936-2455 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Shrnutí: | A boolean function of
n
boolean variables is
correlation-immune
of order
k
if the function value is uncorrelated with the values of any
k
of the arguments. Such functions are of considerable interest due to their cryptographic properties, and are also related to the orthogonal arrays of statistics and the balanced hypercube colourings of combinatorics. The
weight
of a boolean function is the number of argument values that produce a function value of 1. If this is exactly half the argument values, that is, 2
n
− 1
values, a correlation-immune function is called
resilient
. An asymptotic estimate of the number
N
(
n
,
k
) of
n
-variable correlation-immune boolean functions of order
k
was obtained in 1992 by Denisov for constant
k
. Denisov repudiated that estimate in 2000, but we show that the repudiation was a mistake. The main contribution of this paper is an asymptotic estimate of
N
(
n
,
k
) which holds if
k
increases with
n
within generous limits and specialises to functions with a given weight, including the resilient functions. In the case of
k
= 1, our estimates are valid for all weights. |
|---|---|
| ISSN: | 1936-2447 1936-2455 |
| DOI: | 10.1007/s12095-010-0019-x |