您的位置： 专家智库 > >

张相峰

作品数：3 被引量：6H指数：1
供职机构：中国科学院软件研究所更多>>
发文基金：国家自然科学基金中国科学院知识创新工程国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇科技成果

领域

  • 3篇自动化与计算...

主题

  • 2篇操作系
  • 2篇操作系统
  • 1篇完整性
  • 1篇兼容性
  • 1篇安全操作
  • 1篇安全操作系统
  • 1篇安全隐患
  • 1篇IT安全
  • 1篇LINUX安...
  • 1篇LINUX应...

机构

  • 3篇中国科学院软...
  • 1篇东华大学

作者

  • 3篇张相峰
  • 2篇孙波
  • 1篇孙玉芳
  • 1篇单智勇
  • 1篇石文昌
  • 1篇梁彬
  • 1篇刘晖
  • 1篇梁洪亮
  • 1篇王以刚
  • 1篇韦俊银
  • 1篇赵庆松
  • 1篇张明西

传媒

  • 2篇小型微型计算...

年份

  • 1篇2011
  • 1篇2004
  • 1篇2001
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
主体完整性标记动态确定方案及其正确性证明被引量：1
2011年
B iba模型的严格完整性策略能够保证数据的完整性,但是其静态实施可能降低系统的兼容性.在B iba模型严格完整性策略基础上提出了主体完整性标记动态确定方案.将主体完整性等级扩展为独立的读写区间,根据主体读写历史调整主体可读写的区间,在保护系统完整性的同时提高了系统的兼容性.给出了形式化证明,说明该方案是安全的.指出了现行改进方案中存在的安全隐患及导致该隐患的原因,通过对比分析说明动态确定方案能够消除该安全隐患.
张明西韦俊银张相峰王以刚刘晖
关键词：完整性兼容性
基于IT安全国际标准的Linux安全核心的研制
孙玉芳石文昌张相峰赵庆松梁洪亮单智勇孙波
该成果以现有操作系统为原型，遵循CC国际标准，研制了安全操作系统核心的有效方法。提供按照CC国际标准研制的安全Linux核心软件初步版本，使其能够依照CC的条款进行安全评价。实现所研制的安全LINUX核心软件与红旗LIN...
关键词：
关键词：操作系统
基于安全操作系统的安全保障分析被引量：5
2004年
有关安全操作系统在安全领域中应用的介绍很少 ,本文以我们开发的一种安全操作系统的实际应用为例 ,较全面的对安全操作系统的应用加以分析 .其间给出了各类安全软件在整个信息系统内部的层次关系 .文中所提到的应用及框架结构在一个基于 L inux的安全操作系统 ( RFSOS)上均得以实现 .
孙波张相峰梁彬
关键词：安全操作系统LINUX应用安全隐患
全选 清除 导出
共1页<1>
聚类工具0