国家高技术研究发展计划(863-306-ZD12-14-2)

作品数：16被引量：112H指数：7
导出分析报告
相关作者：孙玉芳石文昌单智勇梁洪亮梁彬更多>>
相关机构：中国科学院软件研究所北京中科红旗软件技术有限公司中国人民大学中国科学院研究生院更多>>
相关期刊：《计算机工程与设计》《计算机工程与应用》《小型微型计算机系统》《计算机研究与发展》更多>>
相关主题：安全操作系统LINUX安全操作微内核操作系统更多>>
相关领域：自动化与计算机技术政治法律更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
多安全政策支持框架研究
《计算机工程》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 
在Linux中实现域和类型访问控制
《计算机工程与应用》2006年第19期63-66,共4页涂波 张玉清 
国家自然科学基金资助项目(编号:60073022);国家863高技术研究发展计划资助项目(编号:863-306-ZD12-14-2);中国科学院知识创新工程资助项目(编号:KGCX1-09)
安全域隔离是对安全操作系统的基本要求。通过安全域划分,可以限制用户和进程对资源的访问,从而将恶意攻击对系统的影响控制在最小范围之内。文章阐述了安全域隔离在红旗安全Linux中的构建机制——域和类型访问控制,并对其具体实现进行...
关键词：安全操作系统 安全域隔离 域和类型访问控制 
电子数据职证研究概述被引量：13
《计算机科学》2005年第2期13-19,共7页孙波 孙玉芳 张相锋 梁彬 
国家自然科学基金(No.60073022);国家863高科技项目基金(No.863-306-ZD12-14-2);中国科学院知识创新工程基金(No.KGCX 1-09)
随着计算机技术的飞速发展,人类社会对数字信息的依赖已达到前所未有的程度。与此同时,计算机犯罪率也以惊人的速度增长(2003CSI/FBI计算机犯罪调查报告)。由于计算机犯罪是刑事犯罪中一种新兴的高科技犯罪,政法机关在如何利用高技术手...
关键词：取证 计算机犯罪 电子数据 政法机关 领域 高技术犯罪 高科技犯罪 需求 CSI 国内外 
电子数据证据收集系统保护机制及其发展趋势被引量：3
《计算机科学》2004年第7期9-11,共3页孙波 纪建敏 孙玉芳 梁彬 
国家自然科学基金(No.60073022);国家863高科技基金(No.863-306-ZD12-14-2);中国科学院知识创新工程基金(No.KGCX1-09);国家自然科学基金(No.60373054)
随着计算机犯罪的不断增加,电子数据取证技术(Digital Forensic Technologies)越来越受到人们的重视。目前对计算机取证技术的研究主要集中于证据提取及证据分析等方面,然而对取证机制本身的安全没有考虑,这使得电子数据证据的完整性得...
关键词：电子数据取证技术 保护机制 完整性 电子数据证据收集系统 真实性 
基于安全操作系统的安全保障分析被引量：5
《小型微型计算机系统》2004年第5期815-820,共6页孙波 张相峰 梁彬 
国家自然科学基金项目 ( 60 0 73 0 2 2 )资助;国家 863高科技项目( No.863 -3 0 6-ZD12 -14 -2 )资助;中国科学院知识创新工程项目( No.KGCX 1-0 9)资助
有关安全操作系统在安全领域中应用的介绍很少 ,本文以我们开发的一种安全操作系统的实际应用为例 ,较全面的对安全操作系统的应用加以分析 .其间给出了各类安全软件在整个信息系统内部的层次关系 .文中所提到的应用及框架结构在一个基...
关键词：安全操作系统 LINUX应用 安全隐患 系统弱点 解决方案 
安全操作系统非传统开发模式研究被引量：1
《计算机科学》2003年第2期125-129,共5页石文昌 孙玉芳 
国家自然科学基金(60073022); 国家863高科技项目(863-306-ZD12-14-2); 中国科学院知识创新工程项目(KGCX1-09)
The TCSEC-based traditional development model of secure operating systems is exhibiting more and more obviously inability in the rapidly changing world of computer applications. With an experiment of building a secure...
关键词：安全操作系统 非传统开发模式 RS-Linux 计算机安全评价标准 
Linux下Bonobo组件系统体系结构及应用的研究
《计算机工程与设计》2003年第2期4-7,40,共5页吴晓 张毅波 孙玉芳 李彤 
国家自然科学基金资助项目(60073022);国家863高科技基金资助项目(863-306-ZD12-14-2);中科院知识创新基金资助项目(KGCX1-09);云南省自然科学基金资助项目(2001F0006M);云南省省院省校科技合作项目基金资助(2001AABLA02A002)
研究了Linux下组件系统Bonobo的体系结构和Bonobo组件的3种主要应用机制。在此研究基础上,利用Bonobo组件技术将LinuxGNOME平台下的文本编辑器Gedit封装为Bonobo组件和控件,并将其应用到实际系统中,取得了良好的效果。
关键词：CORBA 对象模型 Bonobo组件系统 体系结构 LINUX 
离线浏览下载引擎算法的优化及改进
《计算机科学》2002年第12期103-105,117,共4页吴晓 刘君悦 孙玉芳 李彤 
国家自然科学基金(60073022); 国家863高科技项目(863-306-ZD12-14-2); 中科院知识创新基金(KGCXI-09)
The refined algorithm is put forward mainly based on the Wget. Combining the advantages of HTTrackand Wget, the download algorithm is rewritten on the following aspects: the download process is changed fromdepth-first...
关键词：计算机网络 局域网 INTERNET 服务器 离线浏览下载引擎算法 优化 
安全操作系统安全属性即时撤消研究被引量：9
《计算机研究与发展》2002年第12期1681-1688,共8页单智勇 孙玉芳 
国家自然科学基金 (60 0 73 0 2 2 );国家"八六三"高技术研究发展计划基金(863 -3 0 6-ZD12 -14 -2 );中国科学院知识创新工程基金 (KGCX1-0 9)资助
多安全政策支持机制和新的国际信息安全评价标准—— CC(com mon criteria)标准都要求安全操作系统提供完善的安全属性即时撤消机制 ,但是目前的研究都不够完善 .在分析安全操作系统中的安全属性即时撤消问题的基础上 ,建立安全属性即...
关键词：安全操作系统 安全属性即时撤消 多安全政策 CC标准 信息安全评价标准 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部