- All Publications
- Static Analysis
[...]
- Process Programming and Workflow
[...]
- Software Development
[...]
- Case Studies
»
- Medical Safety
- Elections
- Scientific Workflow
- Online Dispute Resolution
- Digital Government
- Software Development
- Electronic Enterprise Institute
- Jump To:
- 2017
- 2016
- 2014
- 2013
- 2012
- 2011
- 2010
- 2009
- 2008
- 2007
- 2006
- 2005
- 2004
- 2000
|
LASER Publications
Case Studies
by George Avrunin
Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example
Leon J. Osterweil,
Matt Bishop,
Heather Conboy,
Huong Phan,
Borislava I. Simidchieva,
George Avrunin,
Lori A. Clarke,
Sean Peisert,
ACM Transactions on Privacy and Security (TOPS), Vol. 20, No. 2, May 2017, pp. 5:1-31. (UM-CS-2016-012)
[ ACM ]
[ PDF ]
Notice: We present this material to ensure timely and wide dissemination of our work.
All persons copying this material must adhere to the terms of the relevant copyrights
|
This site is maintained by the