登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

基于Linux的B2级安全操作系统中的Trusted IP的设计与实现
出版社：中国科学院
出版年：2000
作者：刘枫
资源类型：图书
细分类型：中文文献,学位论文
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

安全Linux操作系统审计子系统的设计与实现
  • 作者：任党恩
  • 出版社：中国科学院
  • 出版年：2000
...

基于Linux的实时操作系统的设计与实现
  • 作者：周云
  • 出版年：2003
...

基于Linux的瘦客户机操作系统Thinos的设计与实现
  • 作者：李文杰
  • 出版年：2002
...

高安全级操作系统形式设计的研究
  • 作者：季庆光
  • 出版社：中国科学院
  • 出版年：2004
...

安全Linux操作系统及安全Web系统的形式化建模与实现
  • 作者：刘克龙
  • 出版社：中国科学院
  • 出版年：2001
...

操作系统设计与实现
  • 作者：陈文智
  • ISBN：9787040467529
  • 出版社：高等教育出版社
  • 出版年：2017