您的位置： 专家智库 > >

张可新

作品数：1 被引量：0H指数：0
供职机构：中国科学院软件研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文科技成果

领域

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

主题

  • 1篇安全操作
  • 1篇安全操作系统
  • 1篇操作系
  • 1篇操作系统

机构

  • 1篇中国科学院软...

作者

  • 1篇张可新
  • 1篇刘克龙
  • 1篇刘文清
  • 1篇卿斯汉
  • 1篇邢常亮
  • 1篇王富良
  • 1篇李丽萍
  • 1篇倪惜珍
  • 1篇唐柳英
  • 1篇季庆光
  • 1篇朱继锋
  • 1篇沈晴霓
  • 1篇王瑜
  • 1篇贺也平
  • 1篇赵志科

年份

  • 1篇2005
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
结构化保护级安全操作系统
卿斯汉刘文清李丽萍朱继锋贺也平季庆光刘克龙倪惜珍唐柳英沈晴霓张可新邢常亮王富良赵志科王瑜
该项目研制了安全功能符合国标GB17859第四级（结构化保护级），安全保证参考国标GB/T18336第EAL5级的高等级安全操作系统。设计了新型的、支持多策略的，由“策略等价、策略冲突和策略协作”组成的形式化安全框架，对...
关键词：
关键词：安全操作系统
全选 清除 导出
共1页<1>
聚类工具0