EAGER: Collaborative: Process-Based Technology to Support Comparison and Evaluation of the Security of Elections
EAGER:协作:基于流程的技术支持选举安全性的比较和评估
基本信息
- 批准号:1258588
- 负责人:
- 金额:$ 7.5万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2012
- 资助国家:美国
- 起止时间:2012-10-01 至 2013-09-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This project explores process composition tools as applied to elections, concentrating particularly on mail-in and Internet voting. This includes exploration of how to compose systems from pre-analyzed process components, how to analyze the vulnerability of these systems to attacks, and how to guarantee that important security properties are ensured for the resulting composed system. The underlying processes represent aspects of national and local elections, their composition produces an election process, and analysis of the composition gives insight into potential errors or attacks on the election.Elections are human-intensive processes, processes that directly involve humans in important decision-making and coordination activities, including their interactions with hardware and software components. Providing an approach for formally reasoning about human participation extends current security work. The project also breaks new ground by exploring process-based approaches for modeling and defending against attacks.The project works closely with government agencies at both the national and local levels to provide in-depth realistic evaluation of results.Election officials in the U.S. can directly employ the results of this work to make U.S. election processes more verifiably secure, simpler, and easier to change as new technologies, laws, and regulations are imposed. Moreover the technologies developed in this project can be used in most human-intensive processes that have critical security concerns.
这个项目探讨了适用于选举的流程组合工具,特别是集中在邮件和互联网投票。 这包括探索如何从预先分析的流程组件组成系统,如何分析这些系统的攻击漏洞,以及如何保证重要的安全属性得到保证的组合系统。 基本流程代表了国家和地方选举的各个方面,其组成产生了选举流程,对组成的分析可以洞察潜在的错误或对选举的攻击。选举是人力密集型流程,这些流程直接涉及人类的重要决策和协调活动,包括与硬件和软件组件的交互。提供一种方法,正式推理人类参与扩展目前的安全工作。该项目还通过探索基于流程的建模和防御攻击的方法开辟了新天地。该项目与国家和地方各级政府机构密切合作,对结果进行深入的现实评估。美国的选举官员可以直接使用这项工作的结果,使美国的选举流程更加安全,更简单,更容易改变,因为新技术,法律,并实施了规定。 此外,该项目开发的技术可用于大多数具有关键安全问题的人力密集型流程。
项目成果
期刊论文数量(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 }}
Leon Osterweil其他文献
Leon Osterweil的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Leon Osterweil', 18)}}的其他基金
TC:Medium:Collaborative Research: Technological Support for Improving Election Processes
TC:中:合作研究:改善选举流程的技术支持
- 批准号:
0905530 - 财政年份:2009
- 资助金额:
$ 7.5万 - 项目类别:
Continuing Grant
Workshop Proposal: A Research Agenda for Computing Technology and Dispute Resolution Focusing on the Transportation Sector
研讨会提案:以交通部门为重点的计算技术和争议解决研究议程
- 批准号:
0840248 - 财政年份:2008
- 资助金额:
$ 7.5万 - 项目类别:
Standard Grant
III-CXT: Process Families and Their Application to Online Dispute Resolution
III-CXT:流程族及其在在线争议解决中的应用
- 批准号:
0705772 - 财政年份:2007
- 资助金额:
$ 7.5万 - 项目类别:
Continuing Grant
Student Travel Support for ICSE 2006 Doctoral Symposium
ICSE 2006 博士生研讨会学生旅行支持
- 批准号:
0618957 - 财政年份:2006
- 资助金额:
$ 7.5万 - 项目类别:
Standard Grant
Process Technology for Achieving Government Online Dispute Resolution
实现政府在线纠纷解决的流程技术
- 批准号:
0429297 - 财政年份:2004
- 资助金额:
$ 7.5万 - 项目类别:
Continuing Grant
SGER: Digital Government: Preliminary Evaluation of Process Formalisms for Defining Government Processes
SGER:数字政府:定义政府流程的流程形式的初步评估
- 批准号:
0223599 - 财政年份:2002
- 资助金额:
$ 7.5万 - 项目类别:
Standard Grant
A Process Definition Language For Guiding Multiuser Design
指导多用户设计的流程定义语言
- 批准号:
0204321 - 财政年份:2002
- 资助金额:
$ 7.5万 - 项目类别:
Standard Grant
The University of Colorado Contribution to the Arcadia Effort
科罗拉多大学对阿卡迪亚努力的贡献
- 批准号:
8705162 - 财政年份:1987
- 资助金额:
$ 7.5万 - 项目类别:
Continuing Grant
相似海外基金
Collaborative Research: AGS-FIRP Track 2--Process Investigation of Clouds and Convective Organization over the atLantic Ocean (PICCOLO)
合作研究:AGS-FIRP Track 2——大西洋上空云和对流组织的过程调查(PICCOLO)
- 批准号:
2331199 - 财政年份:2024
- 资助金额:
$ 7.5万 - 项目类别:
Continuing Grant
Collaborative Research: AGS-FIRP Track 2--Process Investigation of Clouds and Convective Organization over the atLantic Ocean (PICCOLO)
合作研究:AGS-FIRP Track 2——大西洋上空云和对流组织的过程调查(PICCOLO)
- 批准号:
2331200 - 财政年份:2024
- 资助金额:
$ 7.5万 - 项目类别:
Continuing Grant
Collaborative Research: AGS-FIRP Track 2--Process Investigation of Clouds and Convective Organization over the atLantic Ocean (PICCOLO)
合作研究:AGS-FIRP Track 2——大西洋上空云和对流组织的过程调查(PICCOLO)
- 批准号:
2331202 - 财政年份:2024
- 资助金额:
$ 7.5万 - 项目类别:
Continuing Grant
CDS&E/Collaborative Research: Local Gaussian Process Approaches for Predicting Jump Behaviors of Engineering Systems
CDS
- 批准号:
2420358 - 财政年份:2024
- 资助金额:
$ 7.5万 - 项目类别:
Standard Grant
Collaborative Research: A Physics-Informed Flood Early Warning System for Agricultural Watersheds with Explainable Deep Learning and Process-Based Modeling
合作研究:基于物理的农业流域洪水预警系统,具有可解释的深度学习和基于过程的建模
- 批准号:
2243776 - 财政年份:2023
- 资助金额:
$ 7.5万 - 项目类别:
Standard Grant
Collaborative Research: A Physics-Informed Flood Early Warning System for Agricultural Watersheds with Explainable Deep Learning and Process-Based Modeling
合作研究:基于物理的农业流域洪水预警系统,具有可解释的深度学习和基于过程的建模
- 批准号:
2243775 - 财政年份:2023
- 资助金额:
$ 7.5万 - 项目类别:
Standard Grant
Collaborative Research: Bayesian Residual Learning and Random Recursive Partitioning Methods for Gaussian Process Modeling
合作研究:高斯过程建模的贝叶斯残差学习和随机递归划分方法
- 批准号:
2348163 - 财政年份:2023
- 资助金额:
$ 7.5万 - 项目类别:
Standard Grant
Collaborative Research: Process Mechanics of Cloudiness Transitions in Subtropical Marine Boundary Layers
合作研究:副热带海洋边界层云量转变的过程机制
- 批准号:
2323066 - 财政年份:2023
- 资助金额:
$ 7.5万 - 项目类别:
Standard Grant
Collaborative Research: Process Mechanics of Cloudiness Transitions in Subtropical Marine Boundary Layers
合作研究:副热带海洋边界层云量转变的过程机制
- 批准号:
2323067 - 财政年份:2023
- 资助金额:
$ 7.5万 - 项目类别:
Standard Grant
An international collaborative process to identify research priorities around access to rehabilitation services in Uganda
确定乌干达康复服务的研究重点的国际合作进程
- 批准号:
487757 - 财政年份:2023
- 资助金额:
$ 7.5万 - 项目类别:
Miscellaneous Programs