...
机译:安全乌龟:为乌龟系统上的Guest虚拟机构建安全的执行环境
机译:安全的虚拟体系结构:商品操作系统的安全执行环境
机译:DVM再次保护Turtle-Barnett块
机译:可信执行技术(TEE)在IOT的安全执行环境中
机译:为移动平台构建安全的执行环境
机译:使用硬件隔离的执行环境来保护系统。
机译:面向绿色可持续发展和安全智能环境的无处不在的系统
机译:使用vmm在损坏的环境中执行关键应用
机译:ada编译器验证摘要报告:证书编号:940305W1.11335 TLD systems,Ltd。TLD Comanche VaX / 1960 ada编译器系统,版本4.1.1 Vms 5.5下的VaX集群=> TLD实时执行,版本4.1.1下的Tronix JIaWG执行车辆(i960mX)。