云南高校图书馆联盟文献共享服务平台- 国家重点实验室开放基金(SYSKF0909)

国家重点实验室开放基金(SYSKF0909): 作品数：1被引量：0H指数：0; 导出分析报告; 相关作者：武术易秋萍刘剑更多>>; 相关机构：中国科学院软件研究所中国科学院研究生院更多>>; 相关期刊：《计算机科学》更多>>; 相关主题：HASKELLVMM安全操作系统系统设计和实现MONAD更多>>; 相关领域：自动化与计算机技术更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

面向访问验证保护级的安全VMM形式化原型系统设计和实现: 《计算机科学》2010年第12期85-90,共6页易秋萍刘剑武术; 中国科学院知识创新工程重要方向项目“面向访问验证保护级的安全操作系统原型系统研发(KGCX2-YW-125)”;北京市科技创新项目“安全可信操作系统研制(Z08000102000801)”;计算机科学国家重点实验室开放课题“面向高等级安全操作系统的形式化保证技术研究(SYSKF0909)”资助; 操作系统是计算机软件系统的基础,具有控制逻辑复杂、安全性和可靠性要求高等特点。在国内外高等级安全操作系统的规范和标准中,都提出了对内核进行形式化规范和验证的要求。近年来国内相关研究机构相继开发了满足GB 17859-1999"强制访...; 关键词：安全操作系统 VMM HASKELL MONAD 形式化原型