...
机译:可以为Linux on ARM提供安全的内存隔离
Department of Computer Science, KTH Royal Institute of Technology, Lindstedtsvaegen 3, Stockholm, Sweden;
Department of Computer Science, KTH Royal Institute of Technology, Lindstedtsvaegen 3, Stockholm, Sweden;
Department of Computer Science, KTH Royal Institute of Technology, Lindstedtsvaegen 3, Stockholm, Sweden;
Department of Computer Science, KTH Royal Institute of Technology, Lindstedtsvaegen 3, Stockholm, Sweden;
Formal verification; information flow security; separation kernel; hypervisor;
机译:Mondrix:使用Mondriaan内存保护的Linux内存隔离
机译:使用IBM Z15和Linuxone III上的Linux安全执行您的云工作负载
机译:从可证明的数据拥有和删除中进行新的可证明的数据传输,以实现安全的云存储
机译:在小型微处理器上可中断的隔离执行的安全隔离
机译:迈向安全逻辑锁定以加强硬件安全性
机译:通过量子密码术检索可证明安全的对称私人信息
机译:可以为Linux on ARM提供安全的内存隔离