刘军
- 作品数：74 被引量：83H指数：4
- 供职机构：解放军理工大学更多>>
- 发文基金：江苏省自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信文化科学军事更多>>
- 面向基于等级访问控制的特征属性提取方法研究
- 2017年
- 分析研究基于等级和基于属性访问控制模型的特点,尝试以实体属性为条件属性来决策计算实体相应等级分类的构想,在认真分析当前信息系统特点和发展趋势的基础上,对实体特征属性的提取方法进行研究,通过特征属性提取,降低通过属性计算等级所需的计算和存储消耗,并提高访问控制的灵活性和可拓展性,再通过设置校验器,严格控制属性提取对决策分类的影响,从而使基于等级的访问控制策略能更加灵活,同时又不失安全性。
- 陈杰伟关宇刘军
- 关键词：访问控制BLP粗糙集属性约简特征提取
- 一种开放的综合安全模型被引量：3
- 2008年
- 为了在信息系统的安全模型中反映综合化的安全需求,以基于角色的访问控制模型为基础,通过对安全级等方面的扩展,提出一种开放综合安全模型(OSSM).根据OSSM的开放性,通过扩充其基本元素,完成了对一种保密性和完整性的综合模型以及Clark-Wilson模型的实现,拓宽了安全模型的适用范围.
- 雷新锋梁明晓刘军肖军模
- 关键词：信息安全
- 应该关注数据库的推理泄漏问题
- 针对国内目前对数据库中数据的防推理泄漏攻击注意不够的现状,本文重点介绍了对数据库的各种推理攻击方法,其中包括大小查询集攻击、逻辑推理攻击、线性系统推理攻击、插入删除攻击等手段的原理与方法,然后在此基础上探讨了防推理攻击的...
- 肖军模刘军
- 关键词：数据库信息系统
- 文献传递
- 对一种公平非否认协议的新改进
- 2009年
- Zhou-Gollmann协议是一种公平非否认协议,近年来得到广泛讨论。Kim发现该协议在时限公平性方面存在缺陷,针对该缺陷提出一种改进的协议,但其改进方法高度依赖于网络时钟的同步。通过详细分析,发现在缺乏时钟同步时Kim的改进协议也可导致不公平。针对此问题,提出一种新的改进方案。新的改进消除了协议对时钟同步的依赖性,保持了协议的公平非否认性,且不会降低协议的效率。
- 雷新锋刘军肖军模
- 关键词：非否认性时钟同步
- 时间相关密码协议逻辑及其形式化语义被引量：1
- 2011年
- 在密码协议中,主体的认知与信仰状态是随时间推移而不断变化的.为了在协议分析中体现这种动态性,提出一种时间相关密码协议逻辑.该逻辑基于谓词模态逻辑,通过在谓词及模态词中引入时间参数以体现时间因素,使得逻辑可表达各个主体在协议不同时间点的行为、知识及信仰.给出该逻辑的形式化语义,在避免逻辑语言二义性的同时保证了逻辑的可靠性.该语义基于Kripke结构,将可能世界建立在主体局部世界与时间局部世界的基础上,使得任一可能世界能够反映协议的一个可能的全过程.该逻辑为密码协议,特别是时间相关密码协议提供了灵活的分析方法,增强了基于逻辑方法的协议分析能力.
- 雷新锋刘军肖军模
- 关键词：密码协议形式化语义
- 信息安全管理体系标准ISO17799被引量：1
- 2003年
- 介绍了国际上具有代表性的信息安全管理体系标准ISO17799的由来和基本内容,详细阐述了ISO17799的十大控制措施。
- 袁震刘军肖军模
- 关键词：信息安全管理风险管理
- 基于Kerberos和HIBC的网格认证模型被引量：1
- 2013年
- 针对网格安全基础设施中公钥基础设施(PKI)认证机制效率较低的缺点,提出一种基于Kerberos和HIBC的网格认证模型,分别设计域内、域间和私钥产生器之间的认证机制。一级信任域使用Kerberos完成认证,二级信任域通过HIBC完成相互认证。该模型能够实现相互认证、抗中间人攻击,具有不可抵赖性。分析结果表明,无论从计算量还是通信量方面,该模型均优于原有的公钥基础设施认证机制,具有较高的安全性且对系统参数无限制,能较好地满足网格的自治性。
- 刘军樊琳娜吴兆峰郭继斌
- 关键词：网格信任域公钥基础设施
- 不可信环境下的客户端日志保护机制被引量：4
- 2011年
- 现有的日志文件保护技术大多集中于保护日志文件不被外来攻击者攻击,而无法抵御恶意的合法用户的攻击。为此,在分析日志技术安全需求的基础上,提出一种在不可信环境下的客户端日志保护机制,基于USB Key对日志文件进行加密和签名处理。给出日志文件的生成、存储及上传过程。安全性与性能分析结果证明了该机制的有效性。
- 郑仕元刘军
- 关键词：日志安全电子钥匙客户端
- JAVA体系结构的安全分析
- Java是当前流行的一种面向对象语言,程序设计语言作为信息安全的基础设施之一,它对信息安全领域有着重要的影响.本文对Java语言体系结构的安全性进行了分析,分别论述了Java语言、Java平台、Java虚拟机、Java ...
- 徐耀令洪臻刘军
- 关键词：JAVA信息安全
- 文献传递
- 引导型病毒的剖析与防治
- 引导型病毒因其高隐蔽性和破坏性给许多计算机用户带来不少的麻烦。本文在深入分析引导型病毒原理的基础上,用16位汇编语言实现一个无破坏作用的病毒程序,并介绍了引导型病毒的检测和防治方法。
- 张锐高翠刘军
- 关键词：计算机网络计算机病毒病毒防治杀毒软件
- 文献传递
