雷新锋

作品数：12被引量：28H指数：2
导出分析报告
供职机构：中国人民解放军更多>>
发文主题：信息安全角色访问控制形式化方法安全协议密码协议更多>>
发文领域：自动化与计算机技术环境科学与工程更多>>
发文期刊：《军事通信技术》《中国科学院院刊》《北京邮电大学学报》《软件学报》更多>>
所获基金：江苏省自然科学基金国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
改进Athena算法的多协议攻击自动化验证方法
《计算机科学》2014年第12期112-117,132,共7页刘威 郭渊博 雷新锋 李俊锋 
国家部委基金项目(9140C130103120C13062)资助
多协议环境下协议安全性问题是安全协议形式化分析验证领域的一个公开问题。针对此问题,在分析Athena算法的基础上提出了一种多协议攻击自动化验证方法。该方法扩展了Athena状态表示方法和后继状态生成算法,使得攻击者具备截取其它协议...
关键词：多协议攻击 自动化验证 安全属性 Athena算法 逆向搜索 
计算可靠的密码协议形式化分析综述被引量：10
《计算机学报》2014年第5期993-1016,共24页雷新锋 宋书民 刘伟兵 薛锐 
国家自然科学基金(61170280);中国科学院先导项目(XDA06010701);中国科学院信息工程研究所密码基金资助~~
密码协议的描述和分析有两类截然不同的方法:一类以形式化方法为主要手段,另一类以计算复杂性理论为基础.Abadi和Rogaway首次试图将这两类不同的方法关联起来,证明一个协议在形式化模型下具有某种安全属性,那么在计算模型下也保持相应...
关键词：密码协议 形式化方法 计算可靠性 信息安全 网络安全 
时间相关密码协议逻辑及其形式化语义被引量：1
《软件学报》2011年第3期534-557,共24页雷新锋 刘军 肖军模 
国家自然科学基金(60873260;60903210);国家高技术研究发展计划(863)(2009AA01Z414);国家重点基础研究发展计划(973)(2007CB311202);江苏省自然科学基金(BK2008090)
在密码协议中,主体的认知与信仰状态是随时间推移而不断变化的.为了在协议分析中体现这种动态性,提出一种时间相关密码协议逻辑.该逻辑基于谓词模态逻辑,通过在谓词及模态词中引入时间参数以体现时间因素,使得逻辑可表达各个主体在协议...
关键词：密码协议 时间相关 谓词模态逻辑 形式化语义 
安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势被引量：10
《中国科学院院刊》2011年第3期287-296,共10页薛锐 雷新锋 
信息社会对于信息保障技术手段提出了极大的挑战。安全协议作为信息安全保障的灵魂,越来越凸显出其关键和纽带作用。对安全协议的安全性分析则是信息时代一个重要而无法回避的关键问题。文章通过总结安全协议分析的研究现状与发展趋势,...
关键词：安全协议 密码学 形式化方法 研究现状 发展趋势 
一种基于恶意主体的通用公平交换协议
《解放军理工大学学报（自然科学版）》2011年第1期19-24,共6页雷新锋 范晓健 马文 刘军 肖军模 
国家863计划资助项目(2009AA01Z414);国家973计划资助项目(2007CB311202);国家自然科学基金资助项目(60873260;60903210);江苏省自然科学基金资助项目(BK2008090)
在公平交换协议中,无可信第三方的协议不能实现较充分的公平性,离线可信第三方协议在恶意主体的情况下仍需第三方的介入,且效率大大降低。另外,现有的公平交换协议大多针对特定项的交换,通用性不强。针对以上不足,采用低负荷在线第三方...
关键词：公平交换协议 公平性 不可否认性 保密性 时限性 
对一种公平非否认协议的新改进
《计算机科学》2009年第8期94-97,148,共5页雷新锋 刘军 肖军模 
江苏省自然科学基金(KB2008090)资助
Zhou-Gollmann协议是一种公平非否认协议,近年来得到广泛讨论。Kim发现该协议在时限公平性方面存在缺陷,针对该缺陷提出一种改进的协议,但其改进方法高度依赖于网络时钟的同步。通过详细分析,发现在缺乏时钟同步时Kim的改进协议也可导...
关键词：公平性 非否认性 协议 时钟同步 
Chinese Wall模型在开放综合安全模型中的实现被引量：2
《北京邮电大学学报》2009年第3期73-76,共4页雷新锋 刘军 肖军模 
江苏省自然科学基金项目(BK2008090)
Chinese Wall模型体现了随系统运行而不断改变的动态安全策略,但使用范围有限.为了保持安全模型在适应不同领域的同时能体现动态安全策略,基于一种开放的综合安全模型(OSSM),提出Chinese Wall模型的实现方法.该方法首先通过构造动态累...
关键词：信息安全 ChineseWall模型 开放综合安全模型 动态安全策略 
一种时间相关安全协议的自动验证工具
《计算机应用》2009年第6期1654-1658,共5页黎兴华 雷新锋 刘军 
江苏省自然科学基金资助项目(BK2008090)
设计并实现了一个时间相关安全协议的自动验证工具。工具以一种时间相关安全协议逻辑TCPL为基础,以XML语言为描述方式,采用构造分层逻辑树的方法,完成了对安全协议目标的自动验证。实现结果表明,该工具简化了安全协议的证明过程,提高了...
关键词：分层逻辑树 时间相关 安全协议 自动验证 
可视化的安全策略形式化描述与验证系统被引量：2
《计算机工程》2008年第24期162-164,共3页雷新锋 刘军 肖军模 周海刚 张一丹 
江苏省自然科学基金资助项目(BK2008090)
通过分析安全策略中可能出现的问题,对安全策略的一致性与完备性进行形式化定义。通过构造安全策略的状态模型,提出策略的一致性与完备性验证算法。基于可扩展访问控制标记语言,设计并实现一种安全策略的形式化描述与验证系统。该系统...
关键词：安全策略 一致性 完备性 扩展访问控制标记语言 
一种柔性抗攻击网络防护体系结构被引量：1
《军事通信技术》2008年第3期53-56,共4页雷新锋 刘军 肖军模 
网络攻击的复杂性、多变性、综合性等趋势对传统各自为政的网络防护系统提出了严峻挑战。为全面、持久、灵活地应对各种网络攻击,提出一种柔性抗攻击网络防护系统的体系结构。该体系结构以安全核为中心,结合认证、事件采集以及各种抗攻...
关键词：柔性 抗攻击 网络防护 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部