Abstract:This paper discusses the characterizations of multi-output correlation-immune functions. We first give a decomposition formula of the probability distribution of binary random vectors by using Walsh transform. Then the equivalence of the two different definitions of multi-output correlation-immune functions is proved. Furthermore, a class of keystream generators is constructed which can resist the linear and correlation attacks.