-

检索结果分析

结果分析中...
检索条件:"关键词=军用安全模型 "
条 记 录,以下是1-6
视图:
排序:
显示条数:
军用安全模型扩展及其应用
《情报指挥控制系统与仿真技术》2005年第4期62-65,69,共5页戴江山  
国家自然科学基金(69931040)
在分析基于格理论的信息流控制军用安全模型在实际应用中存在的不足的基础上,从安全类定义和信息流控制策略两个方面对原模型进行了理论扩展和安全性分析。扩展模型安全类在作为对象和主体时具有相同的表达方式,以及在保持原模型信息流...
关键词:军用安全模型 信息流策略 多级安全 
军用安全模型的扩展被引量:4
《电子科技大学学报》2005年第2期186-189,共4页 
国家自然科学基金资助项目(69931040)
军用安全模型是一种适合于诸如政府部门、队等涉密组织,信息系统内对信息流进行控制的多级安全模型,原理是依据线性格与子集格的乘积格实施信息流控制的,但所描述的关系在实际应用中存在着缺陷。新模型则利用敏感级格与组织内部的层...
关键词:军用安全模型 信息流策略 多级安全 安全模型 
探讨JAVA的安全性改造与验证被引量:1
《电子科技大学学报》2007年第3期531-533,537,共4页  于泠 
国家重点自然科学基金资助项目(69931040);江苏省自然科学基金资助项目(BK2004015)
讨论了OO语言的安全改造问题;给出了以扩展军用安全模型(EMSM)为基础的多级信息流安全控制原理,依据EMSM模型的要求把非安全的JAVA改造成安全语言sJAVA;讨论了sJAVA语言中主要的可执行语句的安全执行条件;以实例说明了sJAVA程序的安全...
关键词:信息流安全控制 军用安全模型 程序安全性验证 安全程序语言 
多策略的工作流管理系统访问控制模型被引量:4
《系统工程理论与实践》2009年第2期151-158,共8页于泠 陈波  
江苏省普通高校自然科学研究计划(08KJD520017);国家自然科学基金(60875001)
针对RBAC模型中没有明确定义模型的非法信息流,也没有提供信息流控制策略,会带来严重的信息泄露问题,对传统的军用安全模型加以改进,并推广到工作流管理系统中,提出了一种基于安全信息流和角色的多策略工作流管理系统访问控制模型,给出...
关键词:工作流 工作流管理系统 基于角色的访问控制 军用安全模型 信息流控制 
多级数字文档安全管理系统设计被引量:6
《情报科学》2005年第9期1367-1371,共5页戴江山  尹鹏飞 
国家自然科学基金资助项目(69931040)
本文提出并建立一种多级数字文档安全管理系统。该系统从存贮和访问两个方面对数字文档进行安全管理,采用信息分配算法IDA将数字文档分散存贮在多个管理节点,采用扩展的军用安全模型控制具有不同职权等级的用户对多敏感级别数字文档的...
关键词:信息安全 军用安全模型 数字文档 管理 
基于改进军用安全模型的sJava语言
《解放理工大学学报(自然科学版)》2009年第1期23-29,共7页于泠 陈波  
江苏省自然科学基金重点资助项目(BK2004015);江苏省普通高校自然科学研究计划资助项目(08KJD520017)
为了发现、控制软件中的非法信息流,利用改进后的军用安全模型对Java语言的安全性进行扩展,提出了一种基于类型的信息流控制方法。将安全级别编码为程序中的类型,并利用定型规则发现非法的信息流,扩展后的语言称为sJava。给出了sJava类...
关键词:信息流控制 军用安全模型 JAVA 类型系统 
检索报告 对象比较 聚类工具 使用帮助 返回顶部