从程序思维能力看密码学实验的教学

密码学是信息安全专业的重要基础课程,可用于培养和提高学生的程序思维能力。文章分析传统密码学实验课程教学中存在的不利于培养程序思维能力的因素,介绍如何修改现有密码学实验的课程设置和教学方式,说明教学效果。     

一种广义部分Bent函数的构造方法

文中利用链环良好的理想特性，在链环的一些子环中定义了一组小函数，通过组合小函数的办法给出了一种广义部分Bent函数的构造。特别地在伽罗瓦环中，利用伽罗瓦环中迹映射给出了一个具体的例子。     

UPPAAL--一种适合自动验证实时系统的工具

UPPAAL是一个基于时间自动机的自动验证工具,已成功地用于实时控制器和通信协议等实时系统的验证.本文介绍了UPPAAL的语法,语义和语用,列举了它的几种扩展形式,并归纳了其应用及研究现状.     

高维4阶完全正则Hadamard矩阵的构造和计数

本文借助于一种特殊的逻辑函数———Ｈ４函数,并利用它和概率工具,给出了一类高维４阶完全正则Ｈａｄａｍａｒｄ矩阵的形式和计数。     

一种拟Bent函数的构造方法

本文提出了一般有限Abel群上的组合函数概念,由组合函数给出了一种拟Bent函数的递归构造方法,并给出了两类组合函数。     

基于模型检测的多轮FR协议验证

随着网络的大规模应用,越来越多的协议在并发环境中执行,时间也成为协议中一个重要因素.本文对公平交换协议Franklin/Reiter协议加入了时间因素,用时间自动机对其建模,并用自动验证工具UPPAAL验证了单轮协议的性质.重点验证了并发环境中多轮协议的执行情况,最后给出了协议在多轮情况下正常执行需满足的条件.     

H_2~r函数的性质和构造

讨论了n维2~r阶Hadamard矩阵所对应的一类特殊逻辑函数(即H_2函数)的一些性质,讨论了它与Bent函数的关系,以及它的一些新构造法。     

2 次单轨道旋转对称布尔函数的重量分布

旋转对称布尔函数在现代密码学中有重要的应用价值。给出了关于任意2次单轨道旋转对称布尔函数快速求值的算法,并得到了其重量的递归关系。结论提高了对2次单轨道旋转对称布尔函数求值的速度,有助于研究一般旋转对称布尔函数的重量和非线性度。     

拟Bent函数的构造

拟Bent函数在密码系统中可用作非线性组合函数和消息摘要函数,因而具有很好的密码学性质。本文通过计算布尔函数的Walsh谱,从映射的角度确定了变元个数不超过六的拟Bent函数的代数结构;提出了一般交换群上的扩展组合函数族的概念,研究了这类函数的性质,利用商群给出了扩展组合函数的下降构造,通过组合函数给出了提升构造法,从而得到了一种由扩展组合函数族构造拟Bent函数和Bent函数的递归构造法,由这种方法可以构造大量拟Bent函数和Bent函数。另外也构造了几种参数的布尔扩展组合函数。