TC:Medium:Collaborative Research: Technological Support for Improving Election Processes

TC：中：合作研究：改善选举流程的技术支持

• 批准号: 0905503
• 负责人: Matt Bishop
• 金额: $ 45万
• 依托单位: University of California-Davis
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-09-15 至 2013-10-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0905503&HistoricalAwards=false
• 关键词: TC; Medium; Collaborative; Research; Technological

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.

该项目正在开发和评估迭代过程改进技术的应用，以确保选举的隐私性、安全性、可靠性和可信度，这是民主的基石。该项目的重点是找出现有投票系统与目前使用这些系统进行选举的进程之间的不匹配之处。这些不匹配可能导致选举中的漏洞或不准确。 这个项目演示了如何通过使用迭代过程改进来修复这些漏洞。该方法通过对流程进行建模并检查这些流程的特征与流程所使用的投票系统的行为之间的差异如何导致此类漏洞来揭示漏洞。通过这种方式，该项目正在为捍卫最关键的民主进程之一做出新的重要贡献，该项目测试了约洛县选举进程和制度的结果。研究的一部分是使用过程定义语言对该县的过程进行建模，并检查这些过程对他们使用的投票系统的要求和期望。然后可以检查现有的投票系统，以确定它们是否满足使用它们的过程的要求和期望。 在发生不匹配的情况下，可以评估由这种不匹配产生的漏洞，提出改进建议，并且方法可以显示所建议的改进如何解决不匹配并消除漏洞。