形式化原型相关硕士博士期刊学术论文 - 搜论网

形式化原型相关论文

面向访问验证保护级的安全VMM形式化原型系统设计和实现

操作系统是计算机软件系统的基础,具有控制逻辑复杂、安全性和可靠性要求高等特点。在国内外高等级安全操作系统的规范和标准中,都......

期刊

安全操作系统 VMM HASKELL MONAD 形式化原型 Secure operating system VMM Haskell Monad For

看过本文同时还关注