Formal prototype; Haskell; Secure Operating System; VMM; Virtualization;
机译:使用架构变量构建可靠且安全的虚拟机
机译:在虚拟机监视器上构建Linux / RTOS混合操作环境的经验
机译:在虚拟机监视器上构建Linux / RTOS混合操作环境的经验
机译:指定和构建正式的安全虚拟监视器原型
机译:使用虚拟机监视器构建系统服务。
机译:可靠的行业4.0根据机器学习和IOT进行分析监控和确保智能电表
机译:建立安全和匿名的沟通渠道:正式模型和 它的原型实现