实时可取证操作系统的模型、策略及实现研究

出版社:中国科学院
出版年:2006
作者:丁丽萍
资源类型:图书
细分类型:中文文献,学位论文
相关推荐

安全操作系统策略模型的关键问题研究

  • 作者:何建波
  • 出版社:中国科学院
  • 出版年:2007

高等级安全操作系统完整性策略模型设计开发及其形式化研究

  • 作者:唐柳英
  • 出版社:中国科学院
  • 出版年:2007

安全操作系统中动态策略管理技术的研究与实现

  • 作者:顾昊
  • 出版社:中国科学院
  • 出版年:2007

支持时序可预测的实时操作系统模型研究

  • 作者:孙贝磊
  • 出版年:2016

语义检索模型优化策略研究与实现

  • 作者:夏浩耘
  • 出版社:中国科学院计算技术研究所
  • 出版年:2023