Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example

In this article, we present an approach for systematically improving complex processes, especially those involving human agents, hardware devices, and software systems. We illustrate the utility of this approach by applying it to part of an election process and show how it can improve the security and correctness of that subprocess. We us...更多