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.

被引用6|引用|浏览28|DOI:https://doi.org/10.1145/3041041
EI
其它链接dblp.uni-trier.de|dl.acm.org

摘要

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...更多

代码

数据

您的评分 :
0

 

标签
评论