搜索到27篇“ 军用安全模型“的相关文章
- 对军用安全模型的扩展被引量:4
- 2005年
- 军用安全模型是一种适合于诸如政府部门、军队等涉密组织,信息系统内对信息流进行控制的多级安全模型,原理是依据线性格与子集格的乘积格实施信息流控制的,但所描述的关系在实际应用中存在着缺陷。新模型则利用敏感级格与组织内部的层次格的乘积格反映组织内部带敏感性的“层级”关系,然后再与信息的子集格相乘形成更为合理的访问控制与信息流控制关系,从而使其更适合于军队、政府部门或各类涉密组织的信息系统对信息和信息流的安全控制要求。
- 肖军模
- 关键词:军用安全模型
- 军用安全模型扩展及其应用
- 2005年
- 在分析基于格理论的信息流控制军用安全模型在实际应用中存在的不足的基础上,从安全类定义和信息流控制策略两个方面对原模型进行了理论扩展和安全性分析。扩展模型安全类在作为对象和主体时具有相同的表达方式,以及在保持原模型信息流关系情况下,允许同职权等级用户交流他们共知的信息,以及高职权等级用户访问低职权等级用户他们之间共知的信息。以数字文档安全管理系统为例对扩展模型应用进行了描述。实例表明扩展模型更适合实际系统对信息流控制的要求。
- 戴江山肖军模
- 关键词:军用安全模型
- 多策略的工作流管理系统访问控制模型被引量:6
- 2009年
- 针对RBAC模型中没有明确定义模型的非法信息流,也没有提供信息流控制策略,会带来严重的信息泄露问题,对传统的军用安全模型加以改进,并推广到工作流管理系统中,提出了一种基于安全信息流和角色的多策略工作流管理系统访问控制模型,给出了模型的形式化定义、检测系统中合法信息流的算法.新模型为每个角色增加安全类,同时也为每个客体分配一个安全类,在基于角色进行访问控制的同时根据安全信息流进行访问控制,可以很好地解决目前基于角色的工作流管理系统访问控制模型中的信息泄露问题,增强系统的安全性.将该方法应用于开发的工作流管理系统中,收到了很好的效果.
- 于泠陈波肖军模
- 关键词:工作流工作流管理系统军用安全模型信息流控制
- 基于改进军用安全模型的sJava语言
- 2009年
- 为了发现、控制软件中的非法信息流,利用改进后的军用安全模型对Java语言的安全性进行扩展,提出了一种基于类型的信息流控制方法。将安全级别编码为程序中的类型,并利用定型规则发现非法的信息流,扩展后的语言称为sJava。给出了sJava类型安全性的证明,实现了对开源的Java编译器Jikes的安全性改造。结果表明,sJava语言源程序能直接编译成字节码,不增加系统的运行负载。
- 于泠陈波肖军模
- 关键词:信息流控制军用安全模型JAVA
- 探讨JAVA的安全性改造与验证被引量:1
- 2007年
- 讨论了OO语言的安全改造问题;给出了以扩展军用安全模型(EMSM)为基础的多级信息流安全控制原理,依据EMSM模型的要求把非安全的JAVA改造成安全语言sJAVA;讨论了sJAVA语言中主要的可执行语句的安全执行条件;以实例说明了sJAVA程序的安全性验证方法。
- 肖军模刘军于泠
- 关键词:军用安全模型
- Java语言的安全性增强技术
- 在改进军用安全模型的基础上,对Java语言进行安全性增强.通过增加安全信息流策略,使得在编译Java源程序的过程中能检验该程序中是否存在隐蔽信道,改造后的语言称为sJava.同时,还实现了对开放源代码的Java编译器ji...
- 关键词:军用安全模型JAVA语言代码安全隐蔽信道
- Java语言的安全性增强技术
- 在改进军用安全模型的基础上,对Java语言进行安全性增强.通过增加安全信息流策略,使得在编译Java源程序的过程中能检验该程序中是否存在隐蔽信道,改造后的语言称为sJava.同时,还实现了对开放源代码的Java编译器ji...
- 于泠陈波肖军模
- 关键词:军用安全模型JAVA语言代码安全隐蔽信道
- 多级数字文档安全管理系统设计被引量:6
- 2005年
- 本文提出并建立一种多级数字文档安全管理系统。该系统从存贮和访问两个方面对数字文档进行安全管理,采用信息分配算法IDA将数字文档分散存贮在多个管理节点,采用扩展的军用安全模型控制具有不同职权等级的用户对多敏感级别数字文档的访问。理论分析说明该系统具有良好的安全保密性、完整可靠性以及实时有效性。
- 戴江山肖军模尹鹏飞
- 关键词:信息安全军用安全模型数字文档
- Java语言词法改造关键技术研究
- 为了开发出更加安全可靠的程序,针对Java本身安全性的不足,对其词法进行改造。利用扩展军用模型,对类指定安全级,从而能够较好地保证应用程序中信息流的安全。相对于其他改进措施,它有着实现简单,易于应用的优点,能够较好地将保...
- 潘娜严庆
- 关键词:JAVA语言信息流安全
- 空天地通信网络的物理层安全系统模型与关键技术被引量:8
- 2018年
- 空天地通信网络作为无线通信的典型应用,因其固有的广播性质和广泛的覆盖区域,面临严重的无线通信安全问题。尤其在军用卫星通信方面,安全通信保障要求更是至关重要,如何实现通信的安全是一个必须要面对的问题。提出了空天地通信网络物理层安全通信的模型——协作—直连混合星地物理层安全通信系统模型。在该模型的基础上,通过研究中继选择问题、卫星和中继的功率分配问题等进一步提升系统的安全性能,并且以此提出了一个整体的适应空天地通信网络的保密性增强方案,旨在为未来的空天地物理层安全提出一套技术理论框架。
- 韩帅台祥雪孟维晓
- 关键词:物理层安全中继选择功率分配
相关作者
- 肖军模

- 作品数:90被引量:251H指数:8
- 供职机构:解放军理工大学通信工程学院
- 研究主题:网络安全 网络取证 信息安全 军用安全模型 安全路由协议
- 于泠

- 作品数:54被引量:457H指数:11
- 供职机构:南京师范大学数学科学学院
- 研究主题:网络安全 计算机网络 入侵检测 网络攻击 信息安全
- 陈波

- 作品数:108被引量:645H指数:13
- 供职机构:南京师范大学
- 研究主题:网络安全 信息安全 计算机网络 入侵检测 拒绝服务攻击
- 戴江山

- 作品数:16被引量:31H指数:4
- 供职机构:中国人民解放军总参谋部第六十一研究所
- 研究主题:网络取证 网络安全 安全管理 分布式 军用安全模型
- 刘军

- 作品数:74被引量:84H指数:4
- 供职机构:解放军理工大学
- 研究主题:信息安全 网络安全 安全协议 访问控制 网络信息安全