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

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

• 批准号: 0905530
• 负责人: Leon Osterweil
• 金额: $ 45万
• 依托单位: University of Massachusetts Amherst
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-09-15 至 2013-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0905530&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.

该项目正在开发和评估迭代过程改进技术的应用，以确保选举的隐私，安全，可靠性和可信赖性，这是民主的基石。该项目的重点是定位现有投票系统与目前在选举中使用它们的过程之间的不匹配。这些不匹配会导致选举中的脆弱性或不准确。该项目演示了如何通过使用迭代过程改进来补救此类漏洞。该方法可以通过建模过程并研究这些过程的特征与流程使用的投票系统的行为之间的差异来揭示漏洞。这样，这个项目正在为捍卫民主的最关键过程之一做出新颖而重要的贡献。该项目测试了尤洛县选举过程和系统的结果。该研究的一部分是使用流程定义语言对县的流程进行建模，并检查这些过程所需的和期望从它们使用的投票系统中所需的内容。然后可以检查现有的投票系统，以确定它们是否符合使用它们的过程的要求和期望。在发生不匹配的地方，可以评估这些不匹配，建议的改进以及方法论可以显示建议的改进如何解决不匹配并消除漏洞的方法。