CICI: UCSS: Helix++: Securing Open Science Platforms
CICI: UCSS: Helix++: Securing Open Science Platforms
批准号:
2115130
负责人:
Jack Davidson
金额:
$49.8万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2021
资助国家:
美国
项目状态:
已结题
起止时间:
2021-08-01 至 2024-07-31
中文摘要
Helix++项目的目标是使用最近开发的、有前途的网络安全研究成果来保护开放科学平台。确保这些开放科学平台的安全至关重要,因为研究基础设施的损害可能会产生严重的后果,包括关键研究的延迟、研究结果的腐败、知识产权被盗以及个人身份信息的暴露。除了为研究人员提供定制的、安全的广泛使用的开放软件包外,Helix++项目还将为未来的研究和保护关键网络基础设施的战略提供见解和方向。利用弗吉尼亚大学现有的两个可操作的开放科学平台,该项目将调查对基础设施保护至关重要的技术和政策问题的相互作用。开源Helix++项目通过应用尖端网络安全技术来自动多样化和强化软件,改善了开放科学平台的安全态势。Helix++的一个显著特点是它不需要源代码或构建构件。它直接在二进制形式的软件上操作--甚至是剥离的可执行文件和库。此功能非常关键,因为从源代码重新构建应用程序是一个耗时且往往令人沮丧的过程。Helix++支持快速生成和部署安全容器和虚拟机,其中各种应用程序和库被转换为包含Helix++保护。多样化打破了软件的单一文化,使攻击更难执行,因为成功攻击所需的信息将发生不可预测的变化。多样化还迫使攻击者为每个目标定制一次攻击,而不是攻击者精心设计一个在所有类似配置的目标上可靠工作的漏洞。强化直接针对关键攻击类别。多样性和硬化性的结合提供了纵深防御,以及移动目标防御。Helix++在两个开放科学平台上进行了评估,以展示其有效性和可用性。该奖项反映了NSF的法定使命,并通过使用基金会的智力优势和更广泛的影响审查标准进行评估,被认为值得支持。
英文摘要
The Helix++ project’s goal is to use recently developed, promising cybersecurity research results to secure open-science platforms. Securing these open-science platforms is vital because compromise of research infrastructure can have severe consequences, including the delay of critical research, corruption of research results, theft of intellectual property, and exposure of personally identifiable information. Beyond providing researchers customized, secure packages of widely used open software, the Helix++ project will provide insights and directions for future research and strategies for protecting critical cyber infrastructure. Using two existing operational open-science platforms at the University of Virginia, the project will investigate the interaction of technical and policy issues which are fundamental to infrastructure protection.The open-source Helix++ project improves the security posture of open science platforms by applying cutting-edge cybersecurity techniques to diversify and harden software automatically. A distinguishing feature of Helix++ is that it does not require source code or build artifacts. It operates directly on software in binary form—even stripped executables and libraries. This feature is key as rebuilding applications from source is a time-consuming and often frustrating process. Helix++ enables the rapid generation and deployment of secure containers and virtual machines, wherein various applications and libraries are transformed to incorporate the Helix++ protections. Diversification breaks the software monoculture and makes attacks harder to execute as information needed for a successful attack will have changed unpredictably. Diversification also forces attackers to customize an attack for each target instead of attackers crafting an exploit that works reliably on all similarly configured targets. Hardening directly targets key attack classes. The combination of diversity and hardening provides defense-in-depth, as well as a moving target defense. Helix++ is evaluated on two open science platforms to demonstrate its efficacy and usability.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
期刊论文(2)
专著(0)
科研奖励(0)
会议论文
DOI:
--
发表时间:
2021
期刊:
International Journal for Numerical Methods in Engineering
影响因子:
2.9
作者:
[Stefan Nagy;A. Nguyen-Tuong;Jason Hiser;J. Davidson;Matthew Hicks]
通讯作者:
Stefan Nagy;A. Nguyen-Tuong;Jason Hiser;J. Davidson;Matthew Hicks
DOI:
10.1145/3460120.3484787
发表时间:
2021-11
期刊:
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security
影响因子:
--
作者:
[Stefan Nagy;A. Nguyen-Tuong;Jason Hiser;J. Davidson;Matthew Hicks]
通讯作者:
Stefan Nagy;A. Nguyen-Tuong;Jason Hiser;J. Davidson;Matthew Hicks
CCRI: Planning: Towards Building a Community Data Infrastructure for CyberSecurity Research
-
批准号:2016431
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2020
-
负责人:Jack Davidson
-
依托单位:
CC* Integration: Enhancement and deployment of LDM7 for scientific data distribution
-
批准号:1659174
-
项目类别:Standard Grant
-
资助金额:$100.0万
-
财政年份:2017
-
负责人:Jack Davidson
-
依托单位:
Collaborative Research: Stimulating Wide Interest in Computer Science Using Computer Security
-
批准号:0837609
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2009
-
负责人:Jack Davidson
-
依托单位:
CT-ISG: Robust and Efficient Tamper-Resistant Software
-
批准号:0716446
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2007
-
负责人:Jack Davidson
-
依托单位:
Collaborative Research: CRI: A Community Resource Development Project for a Retargetable and Reconfigurable Software Dynamic Translation Infrastructure
-
批准号:0551560
-
项目类别:Continuing Grant
-
资助金额:$10.68万
-
财政年份:2006
-
负责人:Jack Davidson
-
依托单位:
NGS: Collaborative Research: Adapting Program Code Continuously and Aggressively
-
批准号:0305144
-
项目类别:Continuing Grant
-
资助金额:$53.24万
-
财政年份:2003
-
负责人:Jack Davidson
-
依托单位:
NGS: Collaborative Research: Continuous Compilation: A New Approach to Aggressive and Adaptive Code Transformation
-
批准号:0203956
-
项目类别:Standard Grant
-
资助金额:$16.0万
-
财政年份:2002
-
负责人:Jack Davidson
-
依托单位:
Experimental Partnership - Comprehensive Retargetable Embedded Systems Software Development Environment
-
批准号:0072043
-
项目类别:Continuing Grant
-
资助金额:$200.0万
-
财政年份:2000
-
负责人:Jack Davidson
-
依托单位:
Workshop to Promote Course/Curriculum Change Using C + + and the Closed Laboratory Model
-
批准号:9554715
-
项目类别:Standard Grant
-
资助金额:$9.13万
-
财政年份:1996
-
负责人:Jack Davidson
-
依托单位:
Compiler Infrastructure: Development of a HIL/LIL Framework for a National Compiler Infrastructure
-
批准号:9612756
-
项目类别:Continuing Grant
-
资助金额:$51.1万
-
财政年份:1996
-
负责人:Jack Davidson
-
依托单位:
Flexible, Seamless Optimization for High-Performance Processors
-
批准号:9214904
-
项目类别:Continuing Grant
-
资助金额:$20.95万
-
财政年份:1993
-
负责人:Jack Davidson
-
依托单位:
Instruction Set Design and Evaluation
-
批准号:8611653
-
项目类别:Continuing Grant
-
资助金额:$12.76万
-
财政年份:1987
-
负责人:Jack Davidson
-
依托单位:
海外基金