云南高校图书馆联盟文献共享服务平台- 多级安全系统

多级安全系统: 作品数：13被引量：55H指数：4; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：鞠时光姬东耀王育民张福泰赵庆松更多>>; 相关机构：中国科学院软件研究所东南大学江苏大学北京工业大学更多>>; 相关期刊：《计算机研究与发展》《软件学报》《计算机工程》《计算机》更多>>; 相关基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划江苏省自然科学基金更多>>

基于LRU的隐通道监测: 《东华大学学报（自然科学版）》2019年第5期715-719,共5页李晔锋公备徐达文; 国家自然基金青年科学基金资助项目(61501007); 在多级安全系统中,隐通道能够使通信双方以违反安全策略的方式传递信息,带来不必要的安全隐患,而现有的标识和消除隐通道的方法对系统性能影响较大。深入研究隐通道的带宽特征,当不同安全级主体使用隐通道进行通信时,针对主体对共享资...; 关键词：隐通道最近最少使用算法多级安全系统频度

密级标识技术的研究被引量：1: 《通信电源技术》2019年第5期253-254,262,共3页杨瑞; 电子文档的保密管理、访问控制、跟踪和审计,是企事业单位内网安全的关键和薄弱点。如何构建多级安全系统已经成为急需解决的问题,而密级标识技术是解决这个问题的关键。通过研究电子文档密级标识的密码学需求、标识原理以及标识方案设...; 关键词：电子签名多级安全系统密级标识电子文件

涉密环境桌面虚拟化多级安全系统设计与实现被引量：7: 《信息网络安全》2014年第9期101-104,共4页武越刘向东; 为解决涉密环境对于桌面虚拟化的多级安全防护需求,文章提出了一种面向涉密环境的桌面虚拟化多级安全模型——vDesktop-BLP模型。该模型结合桌面虚拟化应用场景,对经典BLP多级安全模型进行了改进,实现了对涉密环境桌面虚拟化系统中信息...; 关键词：桌面虚拟化涉密环境多级安全

广义不可推断属性符号化算术验证的研究被引量：1: 《计算机研究与发展》2012年第12期2591-2602,共12页周从华吴海玲鞠时光; 国家自然科学基金项目(61003288;61111130184;60773049);江苏省自然科学基金项目(BK2010192);教育部博士学科点专项科研基金项目(20093227110005); 多级安全系统中机密数据的泄漏本质上是信息的非法流动.广义不可推断属性刻画了不同安全级主体之间合法的信息流动.在系统应用之前,验证其满足广义不可推断属性,可以排除各种隐蔽数据泄漏,保护数据的机密性.传统的广义不可推断属性验证...; 关键词：广义不可推断属性信息流安全量化布尔公式多级安全系统隐通道

多级安全系统中数据聚合的无干扰属性: 《计算机工程与设计》2009年第21期4848-4850,4952,共4页张洪军虞俊; 基于信息流的安全模型较访问控制模型优势在于更本质的描述了什么是安全,自提出信息流的无干扰概念以来信息流模型就成为安全研究的中心之一,并提出了很多种无干扰模型。针对现存几种安全模型存在建模工具与分析工具不一致、不支持多级...; 关键词：数据聚合信息流无干扰多级安全安全模型

信息流图的分割算法: 《计算机科学》2008年第10期126-130,共5页钱炜鞠时光王昌达宋香梅; 国家自然科学基金(60573046;60773049);江苏省高校自然科学研究计划(07KJB520016);江苏大学高级人才项目(07JDG053)的资助; 一个多级安全系统的信息传递关系是搜索隐通道的重要依据。由于一个大型多安全级软件系统的信息传递关系非常复杂,对其直接进行信息流分析并搜索隐通道的工作量非常大,因此为进一步提高搜索和分析隐通道的效率,提出了一种将信息流图分...; 关键词：信息流隐通道多级安全系统

一种改进的数据求精证明规则: 《计算机工程》2008年第1期23-25,共3页张宏贺也平石志国; 国家“973”计划基金资助项目(G1999035802); 提出一种改进的数据求精规则,并用关系模式进行描述。引入全局状态来描述程序所有可能的输入和输出,允许非平凡的初始化,允许前向模拟和后向模拟,能应用于消除具体模型的不确定性晚于消除抽象模型的不确定性的情况。并用实例说明了在Isa...; 关键词：多级安全系统数据求精前向模拟后向模拟

对BLP模型的改进——多级安全模型BLP在办公自动化中的应用探讨: 《计算机安全》2005年第4期18-19,共2页崔树芹曹玉枝; Bell LaPadula (BLP) 模型是现有的多级安全系统中常采用的一种模型,但是BLP模型的“向下读,向上写”的访问规则严重影响了系统的可用性、灵活性,破坏了数据完整性。针对上述缺陷和办公自动化系统的安全要求,文中采用读写权限分开、修...; 关键词：BLP模型多级安全模型应用探讨办公自动化系统数据完整性多级安全系统 BELL 安全要求可用性灵活性机密性读写改造权限

一个安全标记公共框架的设计与实现被引量：16: 《软件学报》2003年第3期547-552,共6页梁洪亮孙玉芳赵庆松张相锋孙波; Supported by the National Natural Science Foundation of China under Grant No.60073022 (国家自然科学基金); the National High Technology Development 863 Program of China under Grant No.863-306-ZD12-14-2 (国家863高科技发展计划);the Knowledge Innovatio; 标记是实现多级安全系统的基础,实施强制访问控制的前提.如何确定和实现标记功能并使其支持多种安全政策是研究的目的.提出了一个安全标记公共框架,该框架基于静态客体标记和动态主体标记,引入了访问历史的概念,并给出了一个完备的标记...; 关键词：安全标记公共框架设计信息安全多级安全系统信息流控制保密性完整性

Owens＆Minor的双赢供应链: 《计算机》2002年第11期25-25,共1页小乐; 0wens&Minor（O＆M)是年销售额达31亿美元的医药，器械供应分销商。为超过4，000个医院客户和1，000个供货商提供服务。O＆M研制的独特系统WISDOM(0wens＆Minor的WEBINTELLIGENCETM决策系统)．建立在BusinessObjects的网络智能商务工具W...; 关键词：O&M公司 WISDOM决策系统网络智能商务工具 WEBINTELLIGENCE 销售数据商业智能解决方案多级安全系统

多级安全系统