Huong Phan, George S. Avrunin, Matt Bishop, Lori A. Clarke, Leon J. Osterweil. A Systematic Process-Model-based Approach for Synthesizing Attacks and Evaluating Them. In J. Alex Halderman, Olivier Pereira, editors, 2012 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, EVT/WOTE '12, Bellevue, WA, USA, August 6-7, 2012. USENIX Association, 2012. [doi]
Abstract is missing.