TC:Medium:Collaborative Research: Technological Support for Improving Election Processes
TC:Medium:Collaborative Research: Technological Support for Improving Election Processes
批准号:
0905530
负责人:
Leon Osterweil
金额:
$45.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2009
资助国家:
美国
项目状态:
已结题
起止时间:
2009-09-15 至 2013-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
This project is developing and evaluating the application of iterative process improvement technology to assure the privacy, security, reliability, and trustworthiness of elections, which are the very cornerstone of democracy. The focus of the project is to locate mismatches between existing voting systems and the processes that are currently using them in the conduct of elections. These mismatches can result in vulnerabilities or inaccuracy in elections. This project demonstrates how to remediate such vulnerabilities through the use of iterative process improvement. The methodology uncovers vulnerabilities by modeling processes and examining how discrepancies between the characteristics of these processes and the behaviors of voting systems that are used by the processes can lead to such vulnerabilities. In this way, this project is making a novel and important contribution to defending one of the most critical processes of democracy. The project tests the results on the election processes and systems of Yolo County. Part of the research is to model that county's processes using the process definition language, and examining what these processes require and expect from the voting systems they use. The existing voting systems can then be examined to determine whether they meet the requirements and expectations of the processes using them. Where mismatches occur, the vulnerabilities created by such mismatches can be assessed, improvements suggested, and the methodology can show how the suggested improvements address the mismatches and remove the vulnerabilities.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
EAGER: Collaborative: Process-Based Technology to Support Comparison and Evaluation of the Security of Elections
-
批准号:1258588
-
项目类别:Standard Grant
-
资助金额:$7.5万
-
财政年份:2012
-
负责人:Leon Osterweil
-
依托单位:
Workshop Proposal: A Research Agenda for Computing Technology and Dispute Resolution Focusing on the Transportation Sector
-
批准号:0840248
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2008
-
负责人:Leon Osterweil
-
依托单位:
III-CXT: Process Families and Their Application to Online Dispute Resolution
-
批准号:0705772
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Leon Osterweil
-
依托单位:
Student Travel Support for ICSE 2006 Doctoral Symposium
-
批准号:0618957
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2006
-
负责人:Leon Osterweil
-
依托单位:
Process Technology for Achieving Government Online Dispute Resolution
-
批准号:0429297
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2004
-
负责人:Leon Osterweil
-
依托单位:
ITR/AP: The Analytic Web
-
批准号:0205575
-
项目类别:Continuing Grant
-
资助金额:$210.0万
-
财政年份:2002
-
负责人:Leon Osterweil
-
依托单位:
SGER: Digital Government: Preliminary Evaluation of Process Formalisms for Defining Government Processes
-
批准号:0223599
-
项目类别:Standard Grant
-
资助金额:$9.99万
-
财政年份:2002
-
负责人:Leon Osterweil
-
依托单位:
A Process Definition Language For Guiding Multiuser Design
-
批准号:0204321
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:2002
-
负责人:Leon Osterweil
-
依托单位:
Arcadia Programming Environment
-
批准号:8996102
-
项目类别:Continuing Grant
-
资助金额:$118.47万
-
财政年份:1988
-
负责人:Leon Osterweil
-
依托单位:
The University of Colorado Contribution to the Arcadia Effort
-
批准号:8705162
-
项目类别:Continuing Grant
-
资助金额:$50.29万
-
财政年份:1987
-
负责人:Leon Osterweil
-
依托单位:
Evaluation and Continued Developments of Software Tools And Environments (Computer Research)
-
批准号:8403341
-
项目类别:Continuing Grant
-
资助金额:$31.2万
-
财政年份:1984
-
负责人:Leon Osterweil
-
依托单位:
Computer Research Equipment (Computer Science)
-
批准号:8305250
-
项目类别:Standard Grant
-
资助金额:$8.14万
-
财政年份:1983
-
负责人:Leon Osterweil
-
依托单位:
Experimental Research on Advanced Software Production Environments
-
批准号:8302644
-
项目类别:Standard Grant
-
资助金额:$10.4万
-
财政年份:1983
-
负责人:Leon Osterweil
-
依托单位:
Toolpack: University of Colorado Participation
-
批准号:8000017
-
项目类别:Continuing Grant
-
资助金额:$30.03万
-
财政年份:1980
-
负责人:Leon Osterweil
-
依托单位:
An Integrated Testing System For Computer Programs
-
批准号:7702194
-
项目类别:Continuing Grant
-
资助金额:$31.54万
-
财政年份:1977
-
负责人:Leon Osterweil
-
依托单位:
Analysis of Mathematical Software For the Purpose of Validation and Documentation
-
批准号:7509972
-
项目类别:Standard Grant
-
资助金额:$32.02万
-
财政年份:1975
-
负责人:Leon Osterweil
-
依托单位:
海外基金