2阶相关免疫函数的计数问题

本文主要讨论2阶相关免疫函数的计数问题,并给出2阶相关免疫函数个数的下界公式.     

基于SPKI的应用安全平台研究

为解决网络应用系统的安全问题,文章提出了基于SPKI的安全平台。为各种网络应用提供一个统一的安全平台。平台实现了身份认证、访问控制以及审计,从而保证应用系统的安全运行。     

平衡对称布尔函数的构造与计数

据文献[1],平衡对称布尔函数的构造与计数等价于背包方程 的求解与解的计数。本文先求出了当 为奇数时这个背包方程的一个解集合 以及 中所有解的个数,然后给出了这个背包方程存在其它解（即不包含于集合 的解）的充分必要条件,同时提供了一种求其它解的方法。最后求出了当 （ 为正整数）时这个背包方程的部分解。     

一种基于Hash函数和分组密码的消息认证码

基于Hash函数的HMAC是一种应用最为广泛的消息认证码,但最近的研究指出HMAC不仅易受到相关密钥攻击,在多用户环境下也易受到攻击.为了避免这些问题,我们对HMAC进行了改进,基于Hash函数和分组密码设计了一种新的消息认证码HBMAC.在分组密码是伪随机置换和Hash函数所使用的压缩函数是伪随机函数的基本假设下,使用共享随机函数模型证明了HBMAC的安全性.同时,还提出了HBMAC和HMAC的算法实现,并基于典型数据对两种算法的性质和效率进行了分析.结果表明,与HMAC相比,HBMAC在安全性和效率上取得了更好的折衷.     

三种盲代理多重签名方案的密码分析

对三种盲代理多重签名方案进行了密码分析,在李媛等人(2003)的方案中,任何一个原始签名者可以通过伪造代理密钥的方法产生盲代理多重签名;在康莉等人(2007)的第1类盲代理多重签名方案中,攻击者不仅可以伪造任何代理签名者的有效子代理密钥,而且还可以伪造对任何消息的盲代理多重签名;在康莉等人的第2类盲代理多重签名方案中,攻击者可以通过伪造代理密钥的方法产生有效盲代理多重签名,从而证明了这3种方案都是不安全的。     

物联网中适用于野外战场的基于口令的安全通信方案

Mobile Ad hoc NETwork (MANET) is a part of the Internet of Things (IoT). In battlefield communication systems, ground soldiers, tanks, and unmanned aerial vehicles comprise a heterogeneous MANET. In 2006, Byun et al. proposed the first constant-round password-based group key exchange with different passwords for such networks. In 2008, Nam et al. discovered the shortcomings of the scheme, and modified it. But the works only provide the group key. In this paper, we propose a password-based secure communication scheme for the IoT, which could be applied in the battlefield communication systems and support dynamic group, in which the nodes join or leave. By performing the scheme, the nodes in the heterogeneous MANET can realize secure broadcast, secure unicast, and secure direct communication across realms. After the analyses, we demonstrate that the scheme is secure and efficient.     

Bent序列簇的迹表示的进一步研究

满足一定条件的线性满射是生成Bent序列簇的重要部分。对此进行了进一步研究，完全刻画了所有的生成Bent序列簇所必需的线性满射，完善了已有的结果。     

基于纠缠交换和局域操作的量子秘密共享

为提高量子秘密共享的效率，提出了一种直接共享经典消息的协议. 协议充分利用了Bell态纠缠交换和局域操作的性质. 为了检测是否存在窃听者，通信粒子被分为检测和消息2部分，对检测部分采用共轭基测量的方法确保传输安全后，再对消息部分作局域操作编码. 分析表明该协议是安全的，效率可以达到2个Bell态共享2?bit经典消息.     

mod2n加运算与F2上异或运算的差值的概率分布和递推公式

提出了一种计算单mod2n加运算与F2上的异或运算的“异或差值”概率分布的有效算法，该算法的计算复杂度为O((n-1)/2) ，与Maximov的结果相比计算复杂度更低；对于多mod2n加运算的情形，给出了多mod2n加运算与F2上的异或运算的“异或差值”的递推计算公式.     

一个新的RDP密码套件

针对远程桌面协议,提出1个新的基于口令的增强认证性的密码套件. 该密码套件利用远程桌面协议原有的口令,设计了一个增强认证的密钥协商协议,且不改变密钥计算过程. 在随机预言机模型下,给出安全性证明. 采用这个密码套件的远程桌面协议握手过程能够避免中间人攻击. 这也是有关通过新的可证明安全的密码套件提高远程桌面协议安全性的首次尝试.