国家自然科学基金(0312001800)
- 作品数：5 被引量：4H指数：2
- 相关作者：宋震李斌曾国平窦文华史晓明更多>>
- 相关机构：解放军信息工程大学国防科学技术大学北方科技信息研究所更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 新的域间身份认证协议及其形式化验证被引量：2
- 2007年
- Internet上不同的安全域间要实现信息资源的安全访问首先需要认证。目前常用的认证协议是Kerberos协议,但在网络环境下,该协议无法对真实的客户端进行认证。因此,给出了新的域间身份认证协议以及相应的"现时"产生方案,并利用改进的Spi演算对所设计的认证协议进行了分析,证明了该协议的安全性,能够有效地解决网间的信息安全传输。
- 宋震李斌窦文华
- 关键词：KERBEROS协议SPI演算
- 拉丁方的平衡编码特性分析
- 2008年
- 在流密码中,常将拉丁方作为改善输入序列平衡性的平衡编码环节,但缺乏相应的理论研究。提出了度量随机变量均匀性的新指标——均匀偏差系数,给出了计算拉丁矩、拉丁方和线性布尔函数输出变量的均匀偏差系数公式,证明了拉丁矩能够改善某一路输入序列的平衡性,拉丁方能够有效改善两路输入序列的平衡性,最后给出了两个例子验证了线性布尔函数和拉丁方能够有效改善输入序列的平衡性。
- 曾国平史晓明
- 关键词：拉丁方
- 拉丁方的差分分布特性研究被引量：2
- 2009年
- 研究了2n阶拉丁方的差分密码特性,考察了差分的概率分布和均值以及差分表中各种值的平均数,探讨了这些指标的近似计算问题。采用代数方法得出了2n阶拉丁方的差分表的分布性质,得到了差分值的上界,用概率分析和近似计算方法给出了最大差分的概率分布及其均值、特定差分的概率分布、差分值的平均频数的近似计算公式,并给出了一些具体的实例。实验结果能够用于分组密码中拉丁方的设计与分析,为寻找密码性质优良的拉丁方提供了理论依据。
- 曾国平
- 关键词：拉丁方差分均值
- 不规则采样序列的平移等价性
- 2007年
- 研究了包含钟控序列在内的一般不规则采样序列的平移等价性,解决了这类序列平移等价分类问题。具体给出了一般不规则采样序列平移等价与被采序列和采样距序列平移等价的关系和两个一般不规则采样序列平移等价的充分条件,并针对一个特殊的不规则间选序列,给出了其平移等价与被采序列和采样距序列所对应两个线性移位寄存器序列反馈函数相等的充分必要条件。
- 李斌宋震
- 关键词：密码平移等价
- 对偶函数的研究
- 2007年
- 首次明确定义了反映二元域GF(2)上序列之间平移跨距关系的对偶函数,研究了基于二元域GF(2)上多项式f(x)对偶函数的存在性和若干性质,证明了当且仅当二元域GF(2)上多项式f(x)为本原多项式时才存在相应多项式下的对偶函数,给出了便于对偶函数计算的3条性质。最后作为对偶函数的一个应用,证明了m序列状态与共轭状态跨距之分布的均匀性。
- 李斌宋震
- 关键词：对偶函数存在性
