TC:Medium:Collaborative Research: Technological Support for Improving Election Processes
TC:Medium:Collaborative Research: Technological Support for Improving Election Processes
批准号:
0905503
负责人:
Matt Bishop
金额:
$45.0万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2009
资助国家:
美国
项目状态:
已结题
起止时间:
2009-09-15 至 2013-10-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)
会议论文
Collaborative Research: SaTC: EDU: Building an Electronic Voting Technology Inspired Interactive Teaching and Learning Framework for Cybersecurity Education
-
批准号:2011175
-
项目类别:Standard Grant
-
资助金额:$17.0万
-
财政年份:2020
-
负责人:Matt Bishop
-
依托单位:
SaTc: EDU: Collaborative: An Assessment Driven Approach to Self-Directed Learning in Secure Programming (SecTutor)
-
批准号:1934279
-
项目类别:Standard Grant
-
资助金额:$15.1万
-
财政年份:2019
-
负责人:Matt Bishop
-
依托单位:
CICI: CE: Improving the Security of a Science DMZ
-
批准号:1739025
-
项目类别:Standard Grant
-
资助金额:$73.81万
-
财政年份:2017
-
负责人:Matt Bishop
-
依托单位:
Travel Support for Participants in the 2016 New Security Paradigms Workshop
-
批准号:1644900
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:2016
-
负责人:Matt Bishop
-
依托单位:
Travel Support for Participants in the 2015 New Security Paradigms Workshop
-
批准号:1550804
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:2015
-
负责人:Matt Bishop
-
依托单位:
Collaborative: Development and Testing of a Secure Programming Clinic
-
批准号:1303211
-
项目类别:Standard Grant
-
资助金额:$52.43万
-
财政年份:2014
-
负责人:Matt Bishop
-
依托单位:
CC-NIE Integration: Improved Infrastructure for Data Movement and Monitoring
-
批准号:1246061
-
项目类别:Standard Grant
-
资助金额:$99.27万
-
财政年份:2013
-
负责人:Matt Bishop
-
依托单位:
Travel Support for Participants in the 2013 New Security Paradigms Workshop
-
批准号:1313572
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:2013
-
负责人:Matt Bishop
-
依托单位:
EAGER: Collaborative: Process-Based Technology to Support Comparison and Evaluation of the Security of Elections
-
批准号:1258577
-
项目类别:Standard Grant
-
资助金额:$7.5万
-
财政年份:2012
-
负责人:Matt Bishop
-
依托单位:
Auditing Voting Systems While Preserving Secrecy and Anonymity
-
批准号:1049738
-
项目类别:Standard Grant
-
资助金额:$9.0万
-
财政年份:2010
-
负责人:Matt Bishop
-
依托单位:
CT-M: Computer System Vulnerabilities and the Efficacy of Defensive Mechanisms
-
批准号:0831002
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Matt Bishop
-
依托单位:
Planning Grant for Joining the NSF Center for Information Protection I/UCRC
-
批准号:0654380
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Matt Bishop
-
依托单位:
CT-ISG: Collaborative Research: Detecting and Preventing Attacks in Recommendation Systems
-
批准号:0716827
-
项目类别:Standard Grant
-
资助金额:$22.84万
-
财政年份:2007
-
负责人:Matt Bishop
-
依托单位:
Workshop: Security of the Cyber Infrastructure
-
批准号:0646965
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Matt Bishop
-
依托单位:
Verification of Security Run-Time Verification Systems
-
批准号:0341734
-
项目类别:Standard Grant
-
资助金额:$39.33万
-
财政年份:2003
-
负责人:Matt Bishop
-
依托单位:
Balancing Privacy and Analysis in Data Sanitization
-
批准号:0311671
-
项目类别:Standard Grant
-
资助金额:$22.0万
-
财政年份:2003
-
负责人:Matt Bishop
-
依托单位:
Vulnerabilities Analysis
-
批准号:0311723
-
项目类别:Standard Grant
-
资助金额:$24.0万
-
财政年份:2003
-
负责人:Matt Bishop
-
依托单位:
海外基金