Collaborative Research: SaTC: TTP: Medium: Defending the Supply Chain of Democracy: Towards a Cryptographically Verified and Authenticated Network of Laws

合作研究:SaTC:TTP:媒介:捍卫民主供应链:迈向经过密码验证和认证的法律网络

基本信息

  • 批准号:
    2247829
  • 负责人:
  • 金额:
    $ 68.76万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2023
  • 资助国家:
    美国
  • 起止时间:
    2023-08-01 至 2027-07-31
  • 项目状态:
    未结题

项目摘要

Democracy depends on a fair, transparent, and accurate system for making and distributing laws. Unfortunately, cyberattacks and malicious insiders have the ability to corrupt, destroy, or withhold access to the law, threatening the foundations of democracy itself by eroding trust in the reliability of digital legal systems. The project’s novelties are the development of tools to secure the law by creating a “digital legal supply chain.” These tools protect, validate, and authenticate laws and other legal information from the moment they are introduced in the legislative process through their publication and distribution in public repositories. The project's broader significance and importance are its improvements to the security and accessibility of the law, with corresponding benefits for the future of democracy and the trustworthiness of digital legal systems. This project builds and deploys an efficient, scalable, and accountable system to secure every step of the “digital legal supply chain”—lawmaking, publishing, archiving and preservation, authentication, and access to the law. This entails (1) long-term solutions for distributing, archiving, and accessing authenticatable laws securely and in perpetuity; (2) systems for authentication integrated into the legislative process to provide auditable assurances that the laws as passed are those elected officials intended to pass; (3) tools for the release of authenticatable redacted documents; and (4) refining the user experience for these systems to make them suitable for adoption by governments of all sizes and institutional capacities. The team of researchers is deploying these improvements in The Archive Framework (TAF), a framework for near-term publication and authentication of the law, that is used in production in five U.S. jurisdictions, and in the process of adoption in two additional jurisdictions.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.
民主取决于制定和分发法律的公平,透明和准确的系统。不幸的是,网络攻击和恶意内部人士具有腐败,摧毁或扣留法律的访问权,威胁到民主本身的基础,通过侵蚀了对数字法律制度的可靠性的信任来威胁民主的基础。该项目的新颖性是开发通过建立“数字法律供应链”来确保法律的工具的开发。这些工具可以通过在公共存储库中发布和分发在立法过程中引入,验证和身份验证法律和其他法律信息。该项目更广泛的意义和重要性是其对法律的安全性和可及性的改善,对民主的未来和数字法律制度的可信赖性提供了相应的好处。该项目构建并部署了一个高效,可扩展和负责的系统,以确保“数字法律供应链”的每个步骤 - 制定,出版,存档和保存,认证以及对法律的访问。该实体(1)长期解决方案,用于牢固且永久地分发,归档和访问真实的法律; (2)将身份验证的系统集成到立法过程中,以提供可审核的保证,即通过的法律是那些旨在通过的当选官员; (3)用于发布可验证的编辑文档的工具; (4)完善这些系统的用户体验,以使其适合各种规模和机构能力的政府采用。研究人员团队正在将这些改进在档案框架(TAF)中部署,这是一个近期出版和对法律认证的框架,该框架用于五个美国司法管辖区的生产中,并在两个司法管辖区采用的过程中。该奖项颁发了NSF的法定任务,并反映了NSF的法规和评估的范围,该奖项被视为众所周知的Intellitia intiftial intiftial intiftial infortial sultial infortial and Founltial and Founltial and Founltial and Founltial and Founltial and Founltial and Founltial and timal and Founltial。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

暂无数据

数据更新时间:2024-06-01

Justin Cappos其他文献

Stork: Package Management for Distributed VM Environments
Stork:分布式虚拟机环境的包管理
  • DOI:
  • 发表时间:
    2007
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Justin Cappos;S. Baker;Jeremy Plichta;D. Nguyen;Jason Hardies;Matt Borgard;Jeffry Johnston;J. Hartman
    Justin Cappos;S. Baker;Jeremy Plichta;D. Nguyen;Jason Hardies;Matt Borgard;Jeffry Johnston;J. Hartman
  • 通讯作者:
    J. Hartman
    J. Hartman
Towards verifiable web-based code review systems
迈向可验证的基于网络的代码审查系统
Teaching the security mindset with reference monitors
使用参考监视器教授安全思维
Stork: Secure Package Management for VM Environments
Stork:VM 环境的安全包管理
  • DOI:
  • 发表时间:
    2008
    2008
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Justin Cappos
    Justin Cappos
  • 通讯作者:
    Justin Cappos
    Justin Cappos
San Fermín: Aggregating Large Data Sets Using a Binomial Swap Forest
San Fermín:使用二项式交换森林聚合大型数据集
共 19 条
  • 1
  • 2
  • 3
  • 4
前往

Justin Cappos的其他基金

SaTC: TTP: Medium: Securing Python's Software Supply Chain
SaTC:TTP:中:保护 Python 的软件供应链
  • 批准号:
    2054692
    2054692
  • 财政年份:
    2021
  • 资助金额:
    $ 68.76万
    $ 68.76万
  • 项目类别:
    Standard Grant
    Standard Grant
ASPIRE: An SFS Program for Interdisciplinary Research and Education (Renewal)
ASPIRE:跨学科研究和教育的 SFS 计划(更新)
  • 批准号:
    1922291
    1922291
  • 财政年份:
    2019
  • 资助金额:
    $ 68.76万
    $ 68.76万
  • 项目类别:
    Continuing Grant
    Continuing Grant
SaTC: CORE: Small: Better Software Security Through Caging
SaTC:核心:小型:通过限制提高软件安全性
  • 批准号:
    1815925
    1815925
  • 财政年份:
    2018
  • 资助金额:
    $ 68.76万
    $ 68.76万
  • 项目类别:
    Standard Grant
    Standard Grant
SaTC: TTP: Medium: Collaborative: Securing the Software Supply Chain
SaTC:TTP:媒介:协作:保护软件供应链
  • 批准号:
    1801376
    1801376
  • 财政年份:
    2018
  • 资助金额:
    $ 68.76万
    $ 68.76万
  • 项目类别:
    Standard Grant
    Standard Grant
Collaborative Research: EAGER: REAL Leafy - A Sustainable, Viral Infrastructure-as-a-Service Edge Cloud
协作研究:EAGER:REAL Leafy - 可持续的、病毒式的基础设施即服务边缘云
  • 批准号:
    1820906
    1820906
  • 财政年份:
    2018
  • 资助金额:
    $ 68.76万
    $ 68.76万
  • 项目类别:
    Standard Grant
    Standard Grant
CICI: Data Provenance: Data Quality and Security Evaluation Framework for Mobile Devices Platform
CICI:数据来源:移动设备平台的数据质量和安全评估框架
  • 批准号:
    1547290
    1547290
  • 财政年份:
    2016
  • 资助金额:
    $ 68.76万
    $ 68.76万
  • 项目类别:
    Standard Grant
    Standard Grant
TWC: Medium: Collaborative: Developer Crowdsourcing: Capturing, Understanding, and Addressing Security-related Blind Spots in APIs
TWC:媒介:协作:开发者众包:捕获、理解和解决 API 中与安全相关的盲点
  • 批准号:
    1513457
    1513457
  • 财政年份:
    2015
  • 资助金额:
    $ 68.76万
    $ 68.76万
  • 项目类别:
    Standard Grant
    Standard Grant
EAGER: Collaborative: Using Cognitive Techniques To Detect and Prevent Security Flaws
EAGER:协作:使用认知技术检测和预防安全缺陷
  • 批准号:
    1444827
    1444827
  • 财政年份:
    2015
  • 资助金额:
    $ 68.76万
    $ 68.76万
  • 项目类别:
    Standard Grant
    Standard Grant
CI-New: Collaborative Research: An Open Observatory for the Internet's Last Mile
CI-New:协作研究:互联网最后一英里的开放观测站
  • 批准号:
    1405907
    1405907
  • 财政年份:
    2014
  • 资助金额:
    $ 68.76万
    $ 68.76万
  • 项目类别:
    Standard Grant
    Standard Grant
CI-EN: Helping Home Network Research to Seattle On Access Routers (SOAR)
CI-EN:帮助西雅图家庭网络研究接入路由器 (SOAR)
  • 批准号:
    1405904
    1405904
  • 财政年份:
    2014
  • 资助金额:
    $ 68.76万
    $ 68.76万
  • 项目类别:
    Standard Grant
    Standard Grant

相似国自然基金

支持二维毫米波波束扫描的微波/毫米波高集成度天线研究
  • 批准号:
    62371263
  • 批准年份:
    2023
  • 资助金额:
    52 万元
  • 项目类别:
    面上项目
腙的Heck/脱氮气重排串联反应研究
  • 批准号:
    22301211
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
水系锌离子电池协同性能调控及枝晶抑制机理研究
  • 批准号:
    52364038
  • 批准年份:
    2023
  • 资助金额:
    33 万元
  • 项目类别:
    地区科学基金项目
基于人类血清素神经元报告系统研究TSPYL1突变对婴儿猝死综合征的致病作用及机制
  • 批准号:
    82371176
  • 批准年份:
    2023
  • 资助金额:
    49 万元
  • 项目类别:
    面上项目
FOXO3 m6A甲基化修饰诱导滋养细胞衰老效应在补肾法治疗自然流产中的机制研究
  • 批准号:
    82305286
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Collaborative Research: SaTC: CORE: Medium: Differentially Private SQL with flexible privacy modeling, machine-checked system design, and accuracy optimization
协作研究:SaTC:核心:中:具有灵活隐私建模、机器检查系统设计和准确性优化的差异化私有 SQL
  • 批准号:
    2317232
    2317232
  • 财政年份:
    2024
  • 资助金额:
    $ 68.76万
    $ 68.76万
  • 项目类别:
    Continuing Grant
    Continuing Grant
Collaborative Research: SaTC: CORE: Medium: Using Intelligent Conversational Agents to Empower Adolescents to be Resilient Against Cybergrooming
合作研究:SaTC:核心:中:使用智能会话代理使青少年能够抵御网络诱骗
  • 批准号:
    2330940
    2330940
  • 财政年份:
    2024
  • 资助金额:
    $ 68.76万
    $ 68.76万
  • 项目类别:
    Continuing Grant
    Continuing Grant
Collaborative Research: NSF-BSF: SaTC: CORE: Small: Detecting malware with machine learning models efficiently and reliably
协作研究:NSF-BSF:SaTC:核心:小型:利用机器学习模型高效可靠地检测恶意软件
  • 批准号:
    2338301
    2338301
  • 财政年份:
    2024
  • 资助金额:
    $ 68.76万
    $ 68.76万
  • 项目类别:
    Continuing Grant
    Continuing Grant
Collaborative Research: SaTC: CORE: Medium: Differentially Private SQL with flexible privacy modeling, machine-checked system design, and accuracy optimization
协作研究:SaTC:核心:中:具有灵活隐私建模、机器检查系统设计和准确性优化的差异化私有 SQL
  • 批准号:
    2317233
    2317233
  • 财政年份:
    2024
  • 资助金额:
    $ 68.76万
    $ 68.76万
  • 项目类别:
    Continuing Grant
    Continuing Grant
Collaborative Research: NSF-BSF: SaTC: CORE: Small: Detecting malware with machine learning models efficiently and reliably
协作研究:NSF-BSF:SaTC:核心:小型:利用机器学习模型高效可靠地检测恶意软件
  • 批准号:
    2338302
    2338302
  • 财政年份:
    2024
  • 资助金额:
    $ 68.76万
    $ 68.76万
  • 项目类别:
    Continuing Grant
    Continuing Grant