Zp^n上广义部分Bent函数的构造方法

给出了Zp^n上广义部分Bent函数的基本构造方法，并同时得到了由上述方法所构造出的广义部分Bent函数的Chrestenson循环谱特征．特别，本文给出了由变元个数少的Zp^n上的广义Bent函数构造变元个数多的广义部分Bent函数的一般方法，由此方法可构造出大量的Zp^n上的广义部分Bent函数．     

可信密码模块符合性测试方法与实施

提出了一种有效的可信密码模块符合性测试方法,给出了衡量指标,并按照该指标对测试进行了测试分层,利用可信密码模块(TCM)内部命令的依赖关系建模获取测试用例.由于该方法分别在功能层采用扩展有限状态机模型、在命令层采用等价类划分法获取测试用例,所以能对现有TCM产品实施更加完备的符合性测试.测试结果表明:与其他TCM测试方法相比,本测试方法具有较高的测试效率.能够发现更多产品不符合标准带来的问题.     

一类S盒的等价生成方法

针对某GF(2^#)域上方幂运算加仿射变换所生成的S盒，指出了该类S盒可以在任意一个GF(2^#)域上通过适当选择仿射变换矩阵等价地生成．基于有限域理论，证明了在30个形如Z2[x]／(f(x))的GF(2^#)域中，每一个这类S盒至少可以用240个不同的仿射变换矩阵等价地生成．     

基于属性证明的可信网络接入方案

为保证终端接入网络时的可信计算平台配置满足特定的安全要求,可信计算组织提出了可信网络接入框架,在该框架中终端向网络决策判定方请求接入网络时采用二进制证明方案进行平台证明,存在完整性管理复杂、暴露用户平台配置隐私等问题.针对上述问题,本文提出了一种基于属性的可信网络接入方案,采用基于属性的远程证明方法,将可信网络接入中的平台证明交给一个可信的安全属性证书颁发方,此属性证书颁发方根据终端平台的完整性颁发安全属性证书,负责网络接入判定的网络接入决策者根据属性证书进行网络接入判定,有效地解决了传统可信网络接入中网络接入决策者完整性管理复杂以及终端平台配置暴露等问题,并能够根据安全属性将平台接入到不同的隔离域,实现了网络中平台多域的隔离.本文在802.1X框架下实现了上述方案,实验结果显示该方案能够根据平台的安全属性实现终端平台VLAN的隔离.