• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

计算机工程与科学 ›› 2009, Vol. 31 ›› Issue (3): 24-26.

• • 上一篇    下一篇

操作系统安全验证形式化分析框架

尹中旭,吴灏   

  • 出版日期:2009-03-01 发布日期:2021-02-03

  • Online:2009-03-01 Published:2021-02-03