刘爱森

作品数：2被引量：3H指数：1
导出分析报告
供职机构：山东大学数学学院密码技术与信息安全教育部重点实验室更多>>
发文主题：差分分析密码算法差分攻击BAN类逻辑OTWAY-REES协议更多>>
发文领域：电子电信更多>>
发文期刊：《信息工程大学学报》更多>>
所获基金：国家重点基础研究发展计划教育部“新世纪优秀人才支持计划”国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
KATAN密码算法的相关密钥差分攻击被引量：2
《密码学报》2015年第1期77-91,共15页刘爱森 王美琴 李艳斌 
国家重点基础研究发展项目(973计划)(2013CB834205);国家自然科学基金项目(61133013;61103237);教育部新世纪优秀人才支持计划(NCET-13-0350);山东大学交叉学科基金项目(2012JC018)
KATAN系列密码算法是基于非线性反馈移位寄存器的分组密码算法,最初在CHES2009上发表.按照分组长度,该算法分为三类:KATAN32,KATAN48和KATAN64.这三个算法使用相同的密钥生成算法,密钥长度均为80比特,非线性函数和加密轮数均相同.本文...
关键词：KATAN密码算法 相关密钥攻击 条件差分分析 
Otway-Rees协议改进及安全分析被引量：1
《信息工程大学学报》2014年第5期525-530,共6页王君 昝亚洲 刘爱森 屈萌 
国家973计划资助项目(2012CB315905;2012CB315901)
选取Otway-Rees协议作为研究对象,用一种改进的BAN类逻辑――安全协议分析本征逻辑(SPALL)作为协议分析工具展开研究。首先对SPALL系统进行扩展,针对Otway-Rees协议存在的缺陷,提出了改进方案。为了更好地描述改进协议,用SPALL系统对其...
关键词：安全协议 BAN类逻辑 形式化方法 OTWAY-REES协议 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部