文摘1985年,肖国镇在第23届ISIT国际会议上提出非线性组合函数的“线性统计独立”的概念,用频谱方法刻画了线性统计独立函数的特征.线性统计独立与同一时期Siegenthaler提出的“相关免疫”是同一概念. 1988年,肖国镇和Massey以“A spectral characterization of correlation-immune combining functions”为题把这一结论发表在IEEE Transactions on Information Theory上,后人称之为“XiaoMassey定理”. Xiao-Massey定理的提出是流密码发展史上的重要事件,对流密码的设计和分析具有重要指导意义.本文阐述了Xiao-Massey定理的历史背景、学术影响和原创性.同时指出, Golomb在1959年定义的“不变量”本质上是刻画了特定群不变关系下所划分的等价类中布尔函数的频谱共同特征,它和相关免疫是两个不同的概念,更没有刻画出相关免疫函数的频谱特征.