您的位置: 专家智库 > >

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

作品数:16 被引量:196H指数:7
相关作者:孙玉芳石文昌单智勇梁洪亮梁彬更多>>
相关机构:中国科学院软件研究所北京中科红旗软件技术有限公司中国人民大学更多>>
发文基金:国家高技术研究发展计划国家自然科学基金中国科学院知识创新工程更多>>
相关领域:自动化与计算机技术政治法律更多>>

文献类型

  • 16篇期刊文章
  • 2篇会议论文

领域

  • 18篇自动化与计算...
  • 1篇政治法律

主题

  • 11篇操作系
  • 11篇操作系统
  • 9篇安全操作
  • 9篇安全操作系统
  • 7篇计算机
  • 4篇LINUX
  • 3篇内核
  • 3篇计算机安全
  • 2篇信息安全
  • 2篇微内核
  • 2篇访问控制
  • 2篇CC
  • 2篇CC标准
  • 1篇电子数据
  • 1篇对象模型
  • 1篇信息技术
  • 1篇信息系统
  • 1篇用户
  • 1篇用户程序
  • 1篇源码

机构

  • 15篇中国科学院软...
  • 2篇中国人民大学
  • 2篇北京中科红旗...
  • 1篇中国科学院研...
  • 1篇技术公司

作者

  • 12篇孙玉芳
  • 7篇石文昌
  • 4篇单智勇
  • 4篇梁洪亮
  • 3篇孙波
  • 3篇梁彬
  • 2篇吴晓
  • 2篇张相锋
  • 2篇李彤
  • 1篇纪建敏
  • 1篇刘君悦
  • 1篇张玉清
  • 1篇张毅波
  • 1篇张相峰
  • 1篇赵庆松
  • 1篇涂波

传媒

  • 8篇计算机科学
  • 3篇计算机研究与...
  • 2篇计算机工程
  • 1篇小型微型计算...
  • 1篇计算机工程与...
  • 1篇计算机工程与...

年份

  • 2篇2007
  • 1篇2006
  • 1篇2005
  • 2篇2004
  • 2篇2003
  • 5篇2002
  • 5篇2001
16 条 记 录,以下是 1-10
排序方式:
信息安全评价准则研究综述与探讨被引量:1
2002年
1.简介 现实生活离不开安全,信息系统也一样,信息安全可以说是信息系统的一种属性.从70年代开始,对信息安全系统和安全产品的研制日益得到了政府和市场的重视.但是,对于某个厂商所提供的一个安全系统或产品,人们根据什么来相信它是安全的?
梁洪亮孙玉芳
关键词:信息系统计算机安全信息技术
安全标准演化与安全产品发展
安全评价是衡量安全产品安全性的重要手段,安全评价标准是安全产品评价的重要依据,在一定意义上具有安全产品发展的导向职责。本文考察计算机安全评价标准的历史演化情况,分析安全评价标准在安全产品评价中的实际应用,探讨计算机安全评...
石文昌孙玉芳
关键词:计算机安全
文献传递
多安全政策支持框架研究
2007年
如何在安全信息系统中支持多种安全政策是近年研究的热点,该文将多安全政策支持框架分为3个大类:基于统一安全模型的FMP,基于安全属性的FMP和基于政策描述语言的FMP。对典型例子进行了分析和比较,结合真实安全环境的特征提出了今后的研究方向,列举了一种FMP在安全操作系统中实施的实例。
单智勇
关键词:访问控制安全操作系统
遵循CC标准的安全操作系统安全管理框架被引量:2
2007年
安全管理是安全操作系统的重要组成部分,如何依据新的国际信息安全评价标准——CC(Common Criteria)开发安全操作系统安全管理子系统是值得探讨的问题。该文介绍了符合CC标准EAL3级的“安全操作系统的安全管理框架”及其在红旗安全操作系统中的实施。
单智勇
关键词:安全管理CC
离线浏览下载引擎算法的优化及改进
2002年
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 retrieval to width-first retrieval; from single-socket to multi-socket; and from recursive retrieval to loopretrieval. The original process,which includes the system calls that maybe cause the network blocking,is cutted intodifferent sectors,and runs in the way of multitask. The results of experiments and feedbacks from actual applicationshow that the refined algorithm gets great improvement on the download efficiency and memory occupancy.
吴晓刘君悦孙玉芳李彤
关键词:计算机网络局域网INTERNET服务器
安全操作系统非传统开发模式研究被引量:4
2003年
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 operating system in accordance with the philosophy of the international standard for computer security evaluation,i. e.the Common Criteria,research on nontraditional development model of secure operating systems is conducted in this paper.
石文昌孙玉芳
关键词:安全操作系统
在Linux中实现域和类型访问控制
2006年
安全域隔离是对安全操作系统的基本要求。通过安全域划分,可以限制用户和进程对资源的访问,从而将恶意攻击对系统的影响控制在最小范围之内。文章阐述了安全域隔离在红旗安全Linux中的构建机制——域和类型访问控制,并对其具体实现进行了简要介绍。
涂波张玉清
关键词:安全操作系统
信息安全国际标准CC的结构模型分析被引量:18
2001年
一、引言 信息安全产品或系统(以下统称产品)安全性的衡量准则之一是安全评价标准.美、加、英、法、德、荷等国家联合推出的"信息技术安全评价共同标准”(简记CC)于一九九九年七月通过国际标准化组织认可,确立为信息安全评价国际标准.一直以来,作为第一个信息安全评价标准,美国国防部于一九八三年推出并于一九八五年修定的"可信计算机安全评价标准”(又称"橙皮书”)[1]在国际上起着很大的作用.CC标准确立后,美国不再受理以橙皮书为尺度的新的评价申请,今后的安全产品评价工作均按CC标准进行[2].
石文昌孙玉芳
关键词:信息安全CC
安全Linux内核安全功能的设计与实现被引量:21
2001年
CC标准是一个新的国际标准 ,由于缺乏可借鉴的范例 ,开发符合 CC标准的安全操作系统是一项挑战性的工作 .借助一项研究实验结合中国安全保护等级划分准则第 3条款 ,讨论了安全 L inux内核安全功能在 CC框架下的设计与实现问题 ,通过 CC功能需求组件给出安全功能的定义 ,从系统结构和安全模型方面讨论安全功能的实现方法 ,并测算安全机制产生的性能负面影响 .研究表明 ,中国国家标准的要求可以通过 CC标准进行描述 .最后 ,还指出了安全操作系统进一步的研究方向 .
石文昌孙玉芳孙玉芳张相锋梁洪亮单智勇
关键词:LINUX内核操作系统计算机
安全操作系统安全属性即时撤消研究被引量:12
2002年
多安全政策支持机制和新的国际信息安全评价标准—— CC(com mon criteria)标准都要求安全操作系统提供完善的安全属性即时撤消机制 ,但是目前的研究都不够完善 .在分析安全操作系统中的安全属性即时撤消问题的基础上 ,建立安全属性即时撤消框架 ,并且设计“基于操作列表的 in- progress操作撤消机制”较好地解决了 in-progress操作撤消问题 ,最后描述了框架在 RS- L
单智勇孙玉芳
关键词:安全操作系统CC标准
共2页<12>
聚类工具0