Leon J. Osterweil, Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Sean Peisert. Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example. ACM Trans. Inf. Syst. Secur., 20(2), 2017. [doi]
@article{OsterweilBCPSAC17,
title = {Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example},
author = {Leon J. Osterweil and Matt Bishop and Heather M. Conboy and Huong Phan and Borislava I. Simidchieva and George S. Avrunin and Lori A. Clarke and Sean Peisert},
year = {2017},
doi = {10.1145/3041041},
url = {http://doi.acm.org/10.1145/3041041},
researchr = {https://researchr.org/publication/OsterweilBCPSAC17},
cites = {0},
citedby = {0},
journal = {ACM Trans. Inf. Syst. Secur.},
volume = {20},
number = {2},
}