山东大学数学学院密码技术与信息安全教育部重点实验室
- 作品数：34 被引量：127H指数：7
- 相关作者：王薇王安李申华贾珂婷刘爱森更多>>
- 相关机构：清华大学高等研究院解放军信息工程大学电子技术学院清华大学信息科学技术学院更多>>
- 发文基金：国家自然科学基金国家重点基础研究发展计划教育部“新世纪优秀人才支持计划”更多>>
- 相关领域：自动化与计算机技术电子电信理学更多>>
- 聚合非对称状态提升飞去来器对分组密码的攻击效能的新策略
- 2023年
- 飞去来器分析方法作为对称密码算法研究的一种重要的分析手段,已经针对国际重要密码算法AES、SKINNY等给出具有影响力的分析结果。在近几年的飞去来器攻击中,研究者常常把算法分成三个部分,E=E_(1)°E_(m)°E_(0);E_(m)部分的介入能够有效地考虑到两条短轮数差分拼接起来时的依赖性。但是现存的方法中忽略了E_(m)部分上下差分之间存在的不对称关系,即经常假设E_(m)头部两个输入差分相等,尾部亦然,这样使得最终的飞去来器区分器概率计算偏小。同时目前并没有一种行之有效的方法,来全面计算非对称状态下多轮E_(m)的概率;文章基于这个目标,设计了一种新的实验方法来评估E_(m)部分的概率,该方法能够同时考虑对称状态和非对称状态下多轮E_(m)部分的概率;为验证该新型实验方法的合理有效性,文章给出实验结果,结果显示能够提升原有飞去来器区分器中间部分的概率。具体来讲,在相同的数据量下,新方法测试E_(m)概率的速度约是原来方法测试速度的500倍,使得原来不可能实现的计算变为可能。利用该新型实验方法,文章把CRAFT算法飞去来器区分器的概率提升1.2倍,并利用此区分器给出该算法矩形攻击的最优结果。
- 赵梦山李木舟王美琴
- 关键词：差分分析
- 基于角色的安全工作流模型被引量：2
- 2008年
- 将基于角色的访问控制模型RBAC96应用到工作流中,设计一个基于角色的安全工作流模型,给出该模型的形式化描述和图形表示。定义DcAC,EP,EPA,IP,IPA的概念,用于管理模型中的授权。与以往基于角色的工作流模型相比,着重处理文档、任务与角色三者之间的权限关系,加强对文档权限部分的管理。
- 宋春燕徐建良李申华
- 关键词：角色工作流
- 动态聚集效应及其在SIMON算法上的应用
- 2023年
- SIMON算法是美国国家安全局(NSA)在2013年发布的轻量级分组密码算法,自提出以来就受到密码学界的广泛关注.本文通过对SIMON的差分/线性掩码传播进行深入分析,根据每轮的输入差分/掩码空间来动态调整窗口内活跃比特的位置,使其尽量位于每轮的输出最密集的w个比特处,同时动态调整窗口外部的比特取值,将静态窗口转化为动态窗口,使其包含更多的差分/线性路径,得到具有更高概率的差分/线性壳.分别以SIMON64、SIMON96和SIMON128为例,进行了差分和线性壳的搜索.在差分分析方面,将已有的SIMON128的区分器提高3轮,得到44轮的高概率差分;在线性分析方面,将已有的SIMON64和SIMON96的区分器提高1轮,分别得到24和34轮的线性壳,将SIMON128提高3轮,得到45轮的线性壳.这是目前对SIMON算法搜索差分/线性区分器的最优结果.
- 牛开路晁佳豪王薇
- 关键词：分组密码SIMON差分分析
- KATAN密码算法的相关密钥差分攻击被引量：2
- 2015年
- KATAN系列密码算法是基于非线性反馈移位寄存器的分组密码算法,最初在CHES2009上发表.按照分组长度,该算法分为三类:KATAN32,KATAN48和KATAN64.这三个算法使用相同的密钥生成算法,密钥长度均为80比特,非线性函数和加密轮数均相同.本文就是利用了相关密钥条件差分分析的方法,通过KATAN系列算法生成的密钥序列的特性来确定密钥差分,通过控制条件获得相应的明文差分,确定差分路径之后,采用了猜测密钥回推验证的方法,从而使得KATAN32、KATAN48、KATAN64相关密钥差分攻击的轮数分别提高到158轮、140轮和126轮.该攻击与Isobe等人提出的飞去来去器攻击在轮数上不占优势,但本文的攻击需求较少的数据量和存储空间.
- 刘爱森王美琴李艳斌
- 密码安全USB设备控制器IP的系统设计被引量：10
- 2010年
- 针对通用串行总线(USB)的安全隐患,提出了USB接口的安全策略,包括主机与设备之间身份双向认证、总线传输安全、数据存储安全等基本功能.给出了一种主机与设备之间双向认证及密钥协商协议,提出了一种密码安全USB设备控制器的系统设计方案,并在现场可编程门阵列(FPGA)上对该方案进行了IP核验证.实验结果表明,该方案能够满足预期的安全功能需求,可为实际的系统开发提供芯片级安全保护.
- 杨先文李峥王安张宇
- 关键词：通用串行总线密码安全椭圆曲线密码体制
- 三轮和四轮AES的新型区分器
- 2018年
- 高级加密标准(Advanced Encryption Standard,AES)是国际上最被广泛使用的加密标准之一。近年来许多新设计的算法选择使用缩减轮数的AES算法作为底层算法,所以缩减轮数AES的安全性,包括可区分性质需要更加深入的研究。论文利用AES列混合的矩阵每列有两个相同系数的性质,给出三轮和四轮AES新的区分攻击。新的区分攻击与传统的三轮和四轮积分区分器类似,拥有相同的数据和时间复杂度。
- 王美琴胡凯高超
- 关键词：高级加密标准AES
- 嵌入式系统的功能安全与信息安全被引量：8
- 2012年
- 国际标准IEC 61508定义了电气/电子/可编程设备功能安全的基本准则,然而随着嵌入式系统的应用普及,以及物联网技术的发展,由于信息安全攻击导致的嵌入式系统功能失效成为一个新的问题。以车载电子系统和可编程逻辑控制器为例,对这一问题进行分析,指出有必要对IEC 61508进行修改完善。
- 吴雪黎武雪峰杨光王继志
- 关键词：嵌入式系统信息安全CAN总线可编程逻辑控制器
- 密码SoC中数据存储保护机制研究与设计
- 2011年
- 基于一款自主知识产权密码SoC的研发需求,定义了该密码SoC生命周期中涉及到的相关人员类型,给出了一种存储器分区管理方案;对不同人员类型的访问权限进行分配,给出了一种权限裁决电路的设计原理。最后,对存储保护机制进行了实现,并对其进行了FPGA原型验证。结果表明,该设计满足预期权限控制要求,可为软/硬件一体化设计更复杂的存储保护功能提供最基础的读写保护。
- 杨先文李峥王安
- 关键词：现场可编程门阵列
- USB1.1设备控制器IP核的设计与实现被引量：1
- 2010年
- 针对安全USB设备与PC主机数据通信的需要,依据USB1.1标准规范,文章设计一种USB1.1设备控制器IP核.该控制器IP核支持全速模式下控制、批量、中断三种传输方式,且传输端点数可配置.基于FPGA平台,对控制器IP核进行了实现,并在8051的配合下对实现进行了测试.测试结果表明其与主机之间的数据通信是可行的,可应用于SoC集成设计,为密码安全USB设备的开发奠定了基础.
- 杨先文李峥王安张宇
- 关键词：通用串行总线USB协议IP核FPGA微控制器
- 流密码Salsa20的差分研究被引量：2
- 2008年
- ECRYPT是欧洲启动的一个为期4年的信息安全项目,它征集了Salsa20,HC256,LEX等34个候选算法。对其中的热门候选算法Salsa20的差分进行了研究,首先给出了有关Salsa20算法中的quarterround函数4个高概率差分,然后分析了Salsa20轮变换的差分分布情况,并给出了一个概率为2-50的4轮差分路线,最后得出了三个有关Salsa20差分攻击的结论。
- 李申华郑世慧宋春燕
- 关键词：流密码差分
