SaTC: TTP: Medium: Securing Python's Software Supply Chain
SaTC:TTP:中:保护 Python 的软件供应链
基本信息
- 批准号:2054692
- 负责人:
- 金额:$ 80万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2021
- 资助国家:美国
- 起止时间:2021-07-01 至 2024-06-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Creating and distributing software written in Python, in a secure manner, is surprisingly difficult. And as many recent incidents demonstrate, the security of this software chain is dramatically vulnerable. Right now, in nearly all Python packaging and distribution tools, there are no mechanisms in place for someone who downloads software to understand whether a malicious party has not inserted or removed code, or if the code was even written by the right developers! This work will for the first time capture metadata about the steps of the Python software supply chain systematically. This project will carry information between the steps of the chain in a way that an external party can verify author signing and repository signing of packages. This project will also be breaking ground for researchers and developers who want to improve how other interpreted languages handle managing dependencies. The project's impacts are particularly strong in academia, science, and industry, where Python is the most widely used programming language; millions of users will be more protected against a variety of attacks.This project transitions two security mechanisms -- backtracking dependency resolution and The Update Framework (TUF) -- into practical use in the core Python infrastructure. Backtracking dependency resolution ensures that users get understandable package dependency installation, even in the face of attacks or missing metadata. TUF ensures that even a compromise of the major package infrastructure will have severely limited impact on clients. Together, the resolver and TUF work will ensure that important research transitions into substantial security improvements for all Python software, and will positively impact millions of developers and many more users.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.
以安全的方式创建和分发用Python编写的软件是非常困难的。正如最近的许多事件所表明的那样,这个软件链的安全性非常脆弱。现在,几乎所有的Python打包和分发工具都没有机制让下载软件的人了解恶意方是否插入或删除了代码,或者代码是否由正确的开发人员编写!这项工作将首次系统地捕获有关Python软件供应链步骤的元数据。该项目将在链的步骤之间传递信息,外部方可以验证软件包的作者签名和存储库签名。 这个项目也将为那些希望改进其他解释语言处理管理依赖关系的研究人员和开发人员开辟道路。该项目的影响在学术界、科学界和工业界尤其强烈,Python是最广泛使用的编程语言;数百万用户将得到更好的保护,免受各种攻击。该项目将两种安全机制--回溯依赖解析和更新框架(TUF)--在核心Python基础设施中投入实际使用。回溯依赖项解析确保用户获得可理解的包依赖项安装,即使面对攻击或缺少元数据。TUF确保即使主要包基础设施的妥协也会对客户产生非常有限的影响。解析器和TUF的工作将共同确保重要的研究转化为所有Python软件的实质性安全改进,并将对数百万开发人员和更多用户产生积极影响。该奖项反映了NSF的法定使命,并通过使用基金会的知识价值和更广泛的影响评审标准进行评估,被认为值得支持。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Justin Cappos其他文献
Stork: Package Management for Distributed VM Environments
Stork:分布式虚拟机环境的包管理
- DOI:
- 发表时间:
2007 - 期刊:
- 影响因子:0
- 作者:
Justin Cappos;S. Baker;Jeremy Plichta;D. Nguyen;Jason Hardies;Matt Borgard;Jeffry Johnston;J. Hartman - 通讯作者:
J. Hartman
Towards verifiable web-based code review systems
迈向可验证的基于网络的代码审查系统
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
Hammad Afzali;Santiago Torres;Reza Curtmola;Justin Cappos - 通讯作者:
Justin Cappos
Teaching the security mindset with reference monitors
使用参考监视器教授安全思维
- DOI:
10.1145/2538862.2538939 - 发表时间:
2014 - 期刊:
- 影响因子:0
- 作者:
Justin Cappos;Richard S. Weiss - 通讯作者:
Richard S. Weiss
Stork: Secure Package Management for VM Environments
Stork:VM 环境的安全包管理
- DOI:
- 发表时间:
2008 - 期刊:
- 影响因子:0
- 作者:
Justin Cappos - 通讯作者:
Justin Cappos
San Fermín: Aggregating Large Data Sets Using a Binomial Swap Forest
San Fermín:使用二项式交换森林聚合大型数据集
- DOI:
- 发表时间:
2008 - 期刊:
- 影响因子:0
- 作者:
Justin Cappos;J. Hartman - 通讯作者:
J. Hartman
Justin Cappos的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Justin Cappos', 18)}}的其他基金
Collaborative Research: SaTC: TTP: Medium: Defending the Supply Chain of Democracy: Towards a Cryptographically Verified and Authenticated Network of Laws
合作研究:SaTC:TTP:媒介:捍卫民主供应链:迈向经过密码验证和认证的法律网络
- 批准号:
2247829 - 财政年份:2023
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
ASPIRE: An SFS Program for Interdisciplinary Research and Education (Renewal)
ASPIRE:跨学科研究和教育的 SFS 计划(更新)
- 批准号:
1922291 - 财政年份:2019
- 资助金额:
$ 80万 - 项目类别:
Continuing Grant
SaTC: CORE: Small: Better Software Security Through Caging
SaTC:核心:小型:通过限制提高软件安全性
- 批准号:
1815925 - 财政年份:2018
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
SaTC: TTP: Medium: Collaborative: Securing the Software Supply Chain
SaTC:TTP:媒介:协作:保护软件供应链
- 批准号:
1801376 - 财政年份:2018
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
Collaborative Research: EAGER: REAL Leafy - A Sustainable, Viral Infrastructure-as-a-Service Edge Cloud
协作研究:EAGER:REAL Leafy - 可持续的、病毒式的基础设施即服务边缘云
- 批准号:
1820906 - 财政年份:2018
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
CICI: Data Provenance: Data Quality and Security Evaluation Framework for Mobile Devices Platform
CICI:数据来源:移动设备平台的数据质量和安全评估框架
- 批准号:
1547290 - 财政年份:2016
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
EAGER: Collaborative: Using Cognitive Techniques To Detect and Prevent Security Flaws
EAGER:协作:使用认知技术检测和预防安全缺陷
- 批准号:
1444827 - 财政年份:2015
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
TWC: Medium: Collaborative: Developer Crowdsourcing: Capturing, Understanding, and Addressing Security-related Blind Spots in APIs
TWC:媒介:协作:开发者众包:捕获、理解和解决 API 中与安全相关的盲点
- 批准号:
1513457 - 财政年份:2015
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
CI-New: Collaborative Research: An Open Observatory for the Internet's Last Mile
CI-New:协作研究:互联网最后一英里的开放观测站
- 批准号:
1405907 - 财政年份:2014
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
CI-EN: Helping Home Network Research to Seattle On Access Routers (SOAR)
CI-EN:帮助西雅图家庭网络研究接入路由器 (SOAR)
- 批准号:
1405904 - 财政年份:2014
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
相似国自然基金
RNA结合蛋白TTP在阿尔茨海默病中的作用机制研究
- 批准号:n/a
- 批准年份:2023
- 资助金额:0.0 万元
- 项目类别:省市级项目
TTP和XPO4蛋白介导lncRNA转运在子宫颈鳞状细胞癌中功能及机制的研究
- 批准号:
- 批准年份:2022
- 资助金额:54 万元
- 项目类别:面上项目
平滑肌中TTP在血压调控中的作用及机制研究
- 批准号:
- 批准年份:2022
- 资助金额:52 万元
- 项目类别:面上项目
TTP-KDM3A/CYP19A1调控滋养层细胞分化和侵袭的机制研究
- 批准号:82171669
- 批准年份:2021
- 资助金额:54 万元
- 项目类别:面上项目
锌指蛋白TTP调控m6A抑制血吸虫病肝纤维化的机制研究
- 批准号:
- 批准年份:2021
- 资助金额:55 万元
- 项目类别:面上项目
RNA结合蛋白TTP靶向抑制LncRNA-SNHG1保护帕金森病多巴胺神经元的机制研究
- 批准号:
- 批准年份:2021
- 资助金额:30 万元
- 项目类别:青年科学基金项目
心外膜脂肪组织TTP在病理性心肌肥厚发生发展中的作用及机制研究
- 批准号:
- 批准年份:2021
- 资助金额:30 万元
- 项目类别:青年科学基金项目
外泌体miR-27a-3p—TTP—NLRP3环路介导的软骨细胞焦亡与滑膜炎正反馈互作在膝骨关节炎中的作用及机制研究
- 批准号:82002331
- 批准年份:2020
- 资助金额:24.0 万元
- 项目类别:青年科学基金项目
αIIb启动子调控血小板靶向表达ADAMTS13治疗CRISPR/Cas9构建的TTP小鼠模型的实验研究
- 批准号:82070117
- 批准年份:2020
- 资助金额:55 万元
- 项目类别:面上项目
锌指蛋白TTP介导的C型钠肽mRNA 降解参与卵母细胞减数分裂恢复的机制
- 批准号:31972573
- 批准年份:2019
- 资助金额:57.0 万元
- 项目类别:面上项目
相似海外基金
Collaborative Research: SaTC: TTP: Medium: Defending the Supply Chain of Democracy: Towards a Cryptographically Verified and Authenticated Network of Laws
合作研究:SaTC:TTP:媒介:捍卫民主供应链:迈向经过密码验证和认证的法律网络
- 批准号:
2247829 - 财政年份:2023
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: TTP: Medium: iDRAMA.cloud: A Platform for Measuring and Understanding Information Manipulation
协作研究:SaTC:TTP:中:iDRAMA.cloud:测量和理解信息操纵的平台
- 批准号:
2247867 - 财政年份:2023
- 资助金额:
$ 80万 - 项目类别:
Continuing Grant
Collaborative Research: SaTC: TTP: Medium: Toward Complete, User-Friendly, and Trustworthy Confidential Computing with Gramine
协作研究:SaTC:TTP:中:使用 Gramine 实现完整、用户友好且值得信赖的机密计算
- 批准号:
2244938 - 财政年份:2023
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: TTP: Medium: iDRAMA.cloud: A Platform for Measuring and Understanding Information Manipulation
协作研究:SaTC:TTP:中:iDRAMA.cloud:测量和理解信息操纵的平台
- 批准号:
2247868 - 财政年份:2023
- 资助金额:
$ 80万 - 项目类别:
Continuing Grant
Collaborative Research: SaTC: TTP: Medium: Toward Complete, User-Friendly, and Trustworthy Confidential Computing with Gramine
协作研究:SaTC:TTP:中:使用 Gramine 实现完整、用户友好且值得信赖的机密计算
- 批准号:
2244937 - 财政年份:2023
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: TTP: Medium: Defending the Supply Chain of Democracy: Towards a Cryptographically Verified and Authenticated Network of Laws
合作研究:SaTC:TTP:媒介:捍卫民主供应链:迈向经过密码验证和认证的法律网络
- 批准号:
2247830 - 财政年份:2023
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
SaTC: TTP: Medium: Hardware Intellectual Property Protection through Hybrid ASIC/TRAP Integrated Circuit Design
SaTC:TTP:中:通过混合 ASIC/TRAP 集成电路设计保护硬件知识产权
- 批准号:
2155208 - 财政年份:2022
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
SaTC: TTP: Medium: I-C-U: AI-Enabled Recovery and Assurance of Semiconductor IP from SEM Images
SaTC:TTP:中:I-C-U:基于 SEM 图像的 AI 恢复和半导体 IP 保证
- 批准号:
2131480 - 财政年份:2022
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
SaTC: TTP: Medium: The Tigress Endpoint Protection Tool
SaTC:TTP:Medium:Tigress 端点保护工具
- 批准号:
2040206 - 财政年份:2021
- 资助金额:
$ 80万 - 项目类别:
Standard Grant
Collaborative Research: SaTC: TTP: Medium: Intrusion-Tolerant Outsourced Storage for Cyber-Infrastructure
协作研究:SaTC:TTP:中:网络基础设施的耐入侵外包存储
- 批准号:
2201465 - 财政年份:2021
- 资助金额:
$ 80万 - 项目类别:
Standard Grant