HiTag2

Hitag2是一种应用广泛的轻量级流密码算法,具有传统的线性移位反馈和非线性滤波结构。它使用20个变量的布尔函数作为其非线性滤波器。五层布尔函数是由一个五层布尔函数构成的。本文从Hitag2中两层布尔函数的构造中提取了嵌套函数的概念。然后研究了嵌套函数的一些一般性质,如平衡性、代数度、Walsh谱和代数免疫性。证明了当子函数平衡时,嵌套函数的Walsh谱可以分解为其子函数和母函数的Walsh谱的乘积。此外,给出了嵌套函数代数免疫性的两个上界。采用逻辑推理与计算机计算相结合的方法,得到了Hitag2滤波器函数的代数免疫度的精确值,即6。