Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example
ACM Trans. Priv. Secur., Volume 20, Issue 2, 2017, Pages 5:1-5:31.
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...更多
下载 PDF 全文 (上传PDF)