安全操作系统

作品数：287被引量：487H指数：11
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：沈昌祥卿斯汉孙玉芳石文昌梁洪亮更多>>
相关机构：中国科学院软件研究所南京大学北京工业大学北京交通大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中国科学院知识创新工程国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
BLP改进模型的形式化描述及自动化验证被引量：3
《计算机工程》2013年第12期130-135,共6页徐亮 谭煌 
国家自然科学基金资助项目(60903168);湖南省科技计划基金资助项目(2012FJ6012);湖南省重点学科建设基金资助项目(湘教发[2011]76号);湖南省教育厅科学研究基金资助项目(13C527);长沙市科技计划基金资助项目(K1109020-11)
在《信息安全技术操作系统安全技术要求》中,提出访问验证保护级安全操作系统的研发过程需要完全形式化的安全策略模型。针对该情况,对经典的数据机密性BLP模型进行相应改进,为系统中的主客体引入多级安全标签以及安全迁移规则,使其满...
关键词：BLP模型 安全策略 形式化方法 自动化验证 定理证明 安全操作系统 
Biba改进模型在安全操作系统中的应用被引量：1
《计算机工程》2012年第13期96-98,共3页郭荣春 刘文清 徐宁 李继云 
国家自然科学基金资助项目(61072017);"核高基"重大专项(2010ZX01036-001-001)
经典Biba模型的严格完整性策略在应用中未考虑主客体操作的复杂性,且信息向操作系统安全子系统(SSOOS)范围外传输时存在完整性问题。针对上述问题,根据GB/T 20272-2006中结构化保护级标准对安全操作系统完整性的要求,在主客体完整性的...
关键词：BIBA模型 安全操作系统 完整性模型 结构化保护级 完整性策略 
一种安全操作系统风险评估模型被引量：7
《计算机工程》2011年第9期57-58,61,共3页邓平 范科峰 张素兵 莫玮 
"核高基"重大专项(2009ZX01039-003-001-04);国家自然科学基金资助项目(61001178);中国博士后科学基金资助项目(20080440333;200902073);北京自然科学基金资助项目(4102012);广西壮族自治区研究生创新基金资助项目
针对安全操作系统风险管理难以进行定量评判的问题,提出一种适用于安全操作系统风险等级定量评估的模型。通过引入风险矩阵法,将信息安全风险评估归纳为以专家矩阵、Borda法则和层次分析法为评估流程的风险等级评估模型,实现安全操作系...
关键词：安全操作系统 风险评估 Borda法则 层次分析法 
多安全政策支持框架研究
《计算机工程》2007年第9期148-150,共3页单智勇 
国家自然科学基金资助项目(60073022);国家"863"计划基金资助项目(863-306-ZD12-14-2);中国科学院知识创新工程基金资助项目(KGCX1-09);中科院软件所培育基金资助项目(CXKE5143)
如何在安全信息系统中支持多种安全政策是近年研究的热点,该文将多安全政策支持框架分为3个大类:基于统一安全模型的FMP,基于安全属性的FMP和基于政策描述语言的FMP。对典型例子进行了分析和比较,结合真实安全环境的特征提出了今后的研...
关键词：访问控制 多安全政策支持框架 安全操作系统 
遵循CC标准的安全操作系统安全管理框架
《计算机工程》2007年第9期151-153,共3页单智勇 
国家自然科学基金资助项目(60073022);国家"863"计划基金资助项目(863-306-ZD12-14-2);中国科学院知识创新工程基金资助项目(KGCX1-09);中科院软件所培育基金资助项目(CXKE5143)
安全管理是安全操作系统的重要组成部分,如何依据新的国际信息安全评价标准——CC(Common Criteria)开发安全操作系统安全管理子系统是值得探讨的问题。该文介绍了符合CC标准EAL3级的“安全操作系统的安全管理框架”及其在红旗安全操作...
关键词：安全操作系统的安全管理框架 安全管理 CC 
嵌入式安全操作系统的研究和实现被引量：10
《计算机工程》2007年第1期83-85,103,共4页陈志平 雷航 杨霞 李欢 
微软亚洲研究院研究基金资助项目
在研究分析传统安全操作系统的安全理论和技术的基础上,结合嵌入式操作系统的特点,提出一种适合于嵌入式操作系统的安全核框架：ESK(embedded security kernel)。它有如下特点：自主配置安全属性,强制访问控制机制和多策略判定。通过对W...
关键词：嵌入式系统 安全操作系统 安全核框架 强制访问控制 多策略判定 
基于BLP的安全操作系统信息安全模型被引量：2
《计算机工程》2005年第19期133-135,共3页黄益民 王维真 
浙江省自然科学基金资助项目(600014;M603228)
提出并设计了一个安全操作系统的信息安全模型。该模型消除了仅以用户作为主体存在的不安全隐患,除保密性指标外考虑了完整性指标,限制了隐蔽通道,限制了可信主体以满足最小权限原则,进行了域隔离,缩小了理论模型与实际应用的差距,并应...
关键词：BLP 安全模型 访问控制 
一种基于DOM盘的安全Linux系统的设计与实现
《计算机工程》2005年第22期143-145,共3页王丹丹 刘晓洁 李涛 浦海挺 刘莎 
国家自然科学基金资助项目(60373110);教育部博士点基金资助项目(20030610003)
提出并实现了一种基于Linux的安全操作系统模型——NisecLinux。该系统以DOM(DiskonModule)盘为存储介质,实现了基于网络访问的强制访问控制机制。通过防火墙和入侵检测系统的联动大大增强了系统的安全防护能力;通过VPN技术使数据传输...
关键词：安全操作系统 访问控制 防火墙 入侵检测系统 VPN 
最小特权原理应用研究被引量：6
《计算机工程》2005年第15期125-126,141,共3页王志刚 孙允标 
基于对最小特权原理的研究和分析,结合安全操作系统的研究,设计了一种计算机系统安全的管理模式,并针对该模式在安全操作系统上的具体应用进行了详细论述。同时探讨了最小特权原理在网络安全以及数据库安全方面的应用情况。
关键词：最小特权原理 安全操作系统 Internet和数据库安全 
增强Linux系统安全性的综合实现方式被引量：2
《计算机工程》2005年第9期138-140,共3页胡娟 佘春东 范植华 刘峰 何慧 
中国科学院知识创新工程方向性研究课题"大型数字对象应用环境及其并行模拟"资助项目(KGCX2-JG-09);国家"863"计划基金资助项目(2002AA1Z2101)
综合多种安全模型的优点,提出了一种基于Linux内核的安全操作系统分层实现机制,从而弥补原始Linux内核安全性较差的缺点,为安全性要求较高的场合提出了一种可行的方案。
关键词：安全操作系统 分层方式 安全 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部