首页> 外文OA文献 >Crafting a Usable Microkernel, Processor, and I/O System with Strict and Provable Information Flow Security

【2h】

Crafting a Usable Microkernel, Processor, and I/O System with Strict and Provable Information Flow Security

机译：使用严格且可证明的信息流安全性来制作可用的微内核，处理器和I / O系统

页面导航

著录项
相似文献
相关主题

著录项

作者
Mohit Tiwari; Jason K Oberg; Xun Li; Jonathan Valamehr; Timothy Levin; Ben Hardekopf; Ryan Kastner; Frederic T. Chong; Timothy Sherwood;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Crafting a Usable Microkernel, Processor, and I/O System with Strict and Provable Information Flow Security [J] . Mohit Tiwari, Jason K Oberg, Xun Li, Computer architecture news . 2011,第3期

机译：制作具有严格且可证明的信息流安全性的可用微内核，处理器和I / O系统
2. Eliciting Security Requirements for an Information System using Asset Flows and Processor Deployment [J] . Haruhiko Kaiya, Junya Sakai, Shinpei Ogata, International journal of secure software engineering . 2013,第3期

机译：使用资产流和处理器部署来提高信息系统的安全性要求
3. Data-flow-based adaption of the System-Theoretic Process Analysis for Security (STPA-Sec) [J] . Jinghua Yu, Stefan Wagner, Feng Luo PeerJ Computer Science . 2021,第a期

机译：基于数据流的系统 - 安全性过程分析的适应性（STPA-SEC）
4. Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security [C] . Tiwari Mohit, Oberg Jason K, Li Xun, 2011 38th Annual International Symposium on Computer Architecture . 2011

机译：制作具有严格且可证明的信息流安全性的可用微内核，处理器和I / O系统
5. Security and Usability in Mobile and IoT Systems [D] . ?Li, Tao 2020

机译：移动和IOT系统中的安全性和可用性
6. An Efficient User Authentication and User Anonymity Scheme with Provably Security for IoT-Based Medical Care System [O] . Chun-Ta Li, Tsu-Yang Wu, Chin-Ling Chen, 2017

机译：基于物联网的医疗系统的有效用户身份验证和用户匿名方案具有可证明的安全性
7. Crafting a Usable Microkernel, Processor, and I/O System with Strict and Provable Information Flow Security [O] . Tiwari Mohit, Oberg Jason K., Li Xun, 2011

机译：制作具有严格且可证明的信息流安全性的可用微内核，处理器和I / O系统
8. Crafting a Usable Microkernel, Processor, and I/O System with Strict and Provable Information Flow Security [R] . Tiwari, M., Oberg, J. K., Li, X., 2011

机译：使用严格且可证明的信息流安全性来制作可用的微内核，处理器和I / O系统

Crafting a Usable Microkernel, Processor, and I/O System with Strict and Provable Information Flow Security

著录项

相似文献

相关主题

期刊订阅