刘爱森
- 作品数：3 被引量：4H指数：1
- 供职机构：山东大学数学学院密码技术与信息安全教育部重点实验室更多>>
- 发文基金：国家重点基础研究发展计划教育部“新世纪优秀人才支持计划”国家自然科学基金更多>>
- 相关领域：电子电信更多>>
- Otway-Rees协议改进及安全分析被引量：1
- 2014年
- 选取Otway-Rees协议作为研究对象,用一种改进的BAN类逻辑――安全协议分析本征逻辑(SPALL)作为协议分析工具展开研究。首先对SPALL系统进行扩展,针对Otway-Rees协议存在的缺陷,提出了改进方案。为了更好地描述改进协议,用SPALL系统对其安全属性进行了形式化描述,并做出安全分析。分析结果表明,改进协议能够确保密钥分发的正确性,并具有密钥机密性和强认证性,还能满足通信双方验证会话密钥一致性的要求。
- 王君昝亚洲刘爱森屈萌
- 关键词：安全协议BAN类逻辑形式化方法OTWAY-REES协议
- KATAN密码算法的相关密钥差分攻击被引量：2
- 2015年
- KATAN系列密码算法是基于非线性反馈移位寄存器的分组密码算法,最初在CHES2009上发表.按照分组长度,该算法分为三类:KATAN32,KATAN48和KATAN64.这三个算法使用相同的密钥生成算法,密钥长度均为80比特,非线性函数和加密轮数均相同.本文就是利用了相关密钥条件差分分析的方法,通过KATAN系列算法生成的密钥序列的特性来确定密钥差分,通过控制条件获得相应的明文差分,确定差分路径之后,采用了猜测密钥回推验证的方法,从而使得KATAN32、KATAN48、KATAN64相关密钥差分攻击的轮数分别提高到158轮、140轮和126轮.该攻击与Isobe等人提出的飞去来去器攻击在轮数上不占优势,但本文的攻击需求较少的数据量和存储空间.
- 刘爱森王美琴李艳斌
- KATAN算法相关密钥的条件差分分析
- KATAN密码算法是以非线性反馈移位寄存器为基础的分组密码算法，最初发表在CHES2009上。KATAN系列分组密码算法分为三类:KATAN32，KATAN48和KATAN64。这三个算法使用相同的密钥生成算法，密钥长度...
- 刘爱森
- 关键词：概率分布
