宋健
- 作品数:5 被引量:9H指数:2
- 供职机构:中国人民解放军信息工程大学更多>>
- 发文基金:国家自然科学基金河南省科技攻关计划国家重点实验室开放基金更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 轻量级分组密码算法ESF的安全性分析被引量:5
- 2017年
- 自动化分析是当前对密码算法进行安全性评估的重要方法之一,具有高效、易实现的特点.对面向位的分组密码,自从Sun等人在2014年亚洲密码年会上提出基于MILP问题的差分和线性自动化搜索方法,该方法受到了许多密码学者的关注.目前,针对求解多轮密码算法MILP模型,如何减少变量和约束不等式的研究工作相对较少,还有很多问题有待解决.根据异或操作的差分传播模式,在2017年欧洲密码年会上,Sasaki等人给出了不带假设变量的新约束不等式,该约束不等式在降低变量和约束数量的前提下保留了异或操作的差分传播性质.同时,对于S盒的性质,当输入差分变量(线性掩码)非零时,该S盒必定活跃,Sun等人用了4个约束不等式来刻画该性质,经过简单的变换,可以用1个约束来表示该性质.基于这些精炼的约束和自动化搜索方法,针对轻量级分组密码算法ESF,建立单密钥下精炼的差分和线性MILP模型,首次给出了ESF算法在单密钥情形下的差分和线性分析结果,得到了15轮ESF算法差分最小活跃S盒数量为19和16轮ESF算法线性最小活跃S盒数量为15.此外,还搜索到了轮数最长的不可能差分和零相关线性逼近区分器.
- 尹军马楚焱宋健曾光马传贵
- 关键词:差分密码分析线性密码分析MILP
- 基于切比雪夫多项式的匿名认证协议设计与分析
- 对网络实体的身份进行认证是维护安全网络服务环境的第一道防线。当前,网络技术和应用快速发展带来的一个新情况是:现如今的用户可能需要越来越频繁地在短时间内访问多个服务器。而传统的认证方式需要用户记住多个口令密码,并且要在短时...
- 宋健
- 关键词:切比雪夫多项式匿名性单点登录
- 文献传递
- 信任系统的分类与设计准则
- 2006年
- 网络技术日益向高度开放、自治和分布式发展,为传统安全带来了挑战。如何构建信任系统,利用信任机制对在线商务、服务和决策提供支持,已成为国内外研究的热点。论文在对研究现状进行系统的分析总结的基础上,提出了合理的分类和设计原则。
- 徐旸刘玉树王建华宋健
- 关键词:信任模型开放式系统
- 移动自组网信任模型研究被引量:3
- 2006年
- 移动自组网具有无中心、自组织和拓扑结构动态变化等特性,传统的安全机制无法阻止网络中泄密节点、“自私”节点的恶意行为。信任机制的引入成为解决移动自组网安全问题的重要手段。该文深入研究分析了现有适用于移动组网的信任模型,提出了自己的理解和建议。
- 宋健王建华徐旸
- 关键词:移动自组网信任模型安全路由
- 面向云服务的匿名单点登录认证协议被引量:1
- 2018年
- 单点登录可以使用户只需进行一次身份验证就能高效便捷地访问多种网络服务。为了使用户可以更加安全高效地访问服务,基于扩展切比雪夫混沌映射提出了一种新的单点登录认证协议,并证明了其安全性。方案中用户和云端应用服务器利用身份信息生成公、私钥对,并结合DH密钥交换思想进行双向认证。与现有其他基于切比雪夫混沌映射的认证协议进行了比较,结果显示提出的认证协议更加安全高效。
- 宋健尹军广晖李光松马传贵
- 关键词:云服务切比雪夫多项式匿名单点登录