HASKELL

作品数：30被引量：30H指数：3
导出分析报告
相关领域：自动化与计算机技术天文地球更多>>
相关作者：张迎周赵荣彩庞建民陈光辉董陇军更多>>
相关机构：南京邮电大学吉林大学解放军信息工程大学中山大学更多>>
相关期刊：《计算机教育》《计算机与数字工程》《计算机与现代化》《信息工程大学学报》更多>>
相关基金：国家自然科学基金江苏省高校自然科学研究项目中央高校基本科研业务费专项资金江苏省“青蓝工程”优秀青年骨干教师培养对象更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 基金=国家重点实验室开放基金x
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
面向访问验证保护级的安全VMM形式化原型系统设计和实现
《计算机科学》2010年第12期85-90,共6页易秋萍 刘剑 武术 
中国科学院知识创新工程重要方向项目“面向访问验证保护级的安全操作系统原型系统研发(KGCX2-YW-125)”;北京市科技创新项目“安全可信操作系统研制(Z08000102000801)”;计算机科学国家重点实验室开放课题“面向高等级安全操作系统的形式化保证技术研究(SYSKF0909)”资助
操作系统是计算机软件系统的基础,具有控制逻辑复杂、安全性和可靠性要求高等特点。在国内外高等级安全操作系统的规范和标准中,都提出了对内核进行形式化规范和验证的要求。近年来国内相关研究机构相继开发了满足GB 17859-1999"强制访...
关键词：安全操作系统 VMM HASKELL MONAD 形式化原型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部