TWC: TTP Option: Small: A Linux ARM Hypervisor for System Security
TWC: TTP Option: Small: A Linux ARM Hypervisor for System Security
批准号:
1422909
负责人:
Jason Nieh
金额:
$63.51万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2014
资助国家:
美国
项目状态:
已结题
起止时间:
2014-10-01 至 2018-09-30
中文摘要
移动设备和嵌入式系统在我们的社会中已经无处不在。这种系统使用ARM处理器,与大型计算设备中使用的传统x86处理器有很大不同。随着设备变得越来越小,对虚拟化的需求也在不断增长,虚拟化提供了诸如能源效率和在多种操作模式下使用设备的能力等好处。虚拟化在系统安全上下文中尤其重要,因为许多安全机制都利用虚拟化作为核心技术来进行故障控制和隔离、入侵检测、恶意软件分析以及软件漏洞的检测、诊断和修复。为了解决ARM虚拟化的挑战,本项目设计、实现和部署KVM/ARM,一个Linux操作系统上的开源ARM管理程序。由于传统的x86架构与ARM有很大的不同,过去在x86硬件支持虚拟化方面的工作不能转移到ARM上。此外,ARM处理器差异很大,因为ARM技术的每个许可方都可以调整和更改系统软件以满足他们的需求。成功地创建一个可适应各种ARM实现的ARM管理程序,为将安全性集成到硬件本身提供了丰富的机会。将这项研究应用到主流Linux代码中,可以确保在支持系统安全性研究的基础上广泛使用该功能。
英文摘要
Mobile devices and embedded systems have become ubiquitous in our society. Such systems use ARM processors, which differ greatly from the traditional x86 processors found in larger computing devices. As devices become smaller, there is a growing demand for virtualization, which provides benefits such as energy efficiency and the ability to use the device in multiple operational modes. Virtualization is especially important in the context of system security as many security mechanisms leverage virtualization as a core technology for fault containment and isolation, intrusion detection, malware analysis, and the detection, diagnosis, and remediation of software vulnerabilities. To address the challenges of ARM virtualization, this project designs, implements, and deploys KVM/ARM, an open-source ARM hypervisor in the Linux operating system. Since the traditional x86 architecture is vastly different from ARM, past work on x86 hardware support for virtualization cannot be carried over to ARM. In addition, ARM processors vary greatly since each licensee of the ARM technology adapts and changes the systems software to meet their needs. Successfully creating an ARM hypervisor that is adaptable across a range of ARM implementations offers rich opportunities for incorporating security into the hardware itself. Adopting this research into mainline Linux code ensures that capability is broadly available on a supported foundation for system security research.
期刊论文(1)
专著(0)
科研奖励(0)
会议论文
FMitF: Track I: Verifying System Software on an Arm Multiprocessor Hardware Model
-
批准号:2124080
-
项目类别:Standard Grant
-
资助金额:$75.0万
-
财政年份:2021
-
负责人:Jason Nieh
-
依托单位:
FMitF: Track I: A Secure and Verifiable Commodity Hypervisor
-
批准号:1918400
-
项目类别:Standard Grant
-
资助金额:$75.0万
-
财政年份:2019
-
负责人:Jason Nieh
-
依托单位:
CSR: Medium: A Virtual Smartphone and Tablet System Architecture
-
批准号:1162447
-
项目类别:Continuing Grant
-
资助金额:$78.3万
-
财政年份:2012
-
负责人:Jason Nieh
-
依托单位:
SHF: Medium: RacePro: Automatically Detecting API Races in Deployed Systems
-
批准号:1162021
-
项目类别:Standard Grant
-
资助金额:$80.0万
-
财政年份:2012
-
负责人:Jason Nieh
-
依托单位:
Student Travel Support for the 2011 USENIX Annual Technical Conference
-
批准号:1137962
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:2011
-
负责人:Jason Nieh
-
依托单位:
TC: Small: Improving System Security through Virtual Layered File Systems
-
批准号:1018355
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2010
-
负责人:Jason Nieh
-
依托单位:
TC: Small: Exploiting Software Elasticity for Automatic Software Self-Healing
-
批准号:0914845
-
项目类别:Standard Grant
-
资助金额:$45.0万
-
财政年份:2009
-
负责人:Jason Nieh
-
依托单位:
ITR - (NHS) - (int/dmc): Secure Remote Computing Services
-
批准号:0426623
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Jason Nieh
-
依托单位:
Network Virtualization Mechanisms for Mobile Communication
-
批准号:0240525
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2003
-
负责人:Jason Nieh
-
依托单位:
ITR: An Experimental Study of Thin-Client Computing Architectures
-
批准号:0219943
-
项目类别:Continuing Grant
-
资助金额:$25.0万
-
财政年份:2002
-
负责人:Jason Nieh
-
依托单位:
CAREER: Delivering Computational Services over the Internet
-
批准号:0093047
-
项目类别:Continuing Grant
-
资助金额:$25.0万
-
财政年份:2001
-
负责人:Jason Nieh
-
依托单位:
国内基金
海外基金
登录
查看更多内容
RNA结合蛋白TTP在阿尔茨海默病中的作用机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2023
-
负责人:
-
依托单位:
TTP和XPO4蛋白介导lncRNA转运在子宫颈鳞状细胞癌中功能及机制的研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:54万元
-
批准年份:2022
-
负责人:陈亮
-
依托单位:
平滑肌中TTP在血压调控中的作用及机制研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:52万元
-
批准年份:2022
-
负责人:张文程
-
依托单位:
TTP-KDM3A/CYP19A1调控滋养层细胞分化和侵袭的机制研究
-
批准号:82171669
-
项目类别:面上项目
-
资助金额:54万元
-
批准年份:2021
-
负责人:林羿
-
依托单位:
心外膜脂肪组织TTP在病理性心肌肥厚发生发展中的作用及机制研究
-
批准号:82100279
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:李静媛
-
依托单位:
锌指蛋白TTP调控m6A抑制血吸虫病肝纤维化的机制研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:55万元
-
批准年份:2021
-
负责人:董惠芬
-
依托单位:
RNA结合蛋白TTP靶向抑制LncRNA-SNHG1保护帕金森病多巴胺神经元的机制研究
-
批准号:82101341
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:何骁征
-
依托单位:
外泌体miR-27a-3p—TTP—NLRP3环路介导的软骨细胞焦亡与滑膜炎正反馈互作在膝骨关节炎中的作用及机制研究
-
批准号:82002331
-
项目类别:青年科学基金项目
-
资助金额:24.0万元
-
批准年份:2020
-
负责人:阮光峰
-
依托单位:
αIIb启动子调控血小板靶向表达ADAMTS13治疗CRISPR/Cas9构建的TTP小鼠模型的实验研究
-
批准号:82070117
-
项目类别:面上项目
-
资助金额:55.0万元
-
批准年份:2020
-
负责人:骆晓峰
-
依托单位:
锌指蛋白TTP介导的C型钠肽mRNA 降解参与卵母细胞减数分裂恢复的机制
-
批准号:31972573
-
项目类别:面上项目
-
资助金额:57.0万元
-
批准年份:2019
-
负责人:安磊
-
依托单位: