Dept. of Computer Science, University of California, Santa Barbara, USA;
机译:制作具有严格且可证明的信息流安全性的可用微内核,处理器和I / O系统
机译:使用资产流和处理器部署来提高信息系统的安全性要求
机译:基于数据流的系统 - 安全性过程分析的适应性(STPA-SEC)
机译:制作可用的Microkernel,处理器和I / O系统,具有严格和可提供的信息流量安全性
机译:移动和IOT系统中的安全性和可用性
机译:基于物联网的医疗系统的有效用户身份验证和用户匿名方案具有可证明的安全性
机译:使用严格且可证明的信息流安全性来制作可用的微内核,处理器和I / O系统
机译:使用严格且可证明的信息流安全性来制作可用的微内核,处理器和I / O系统