Modeling and Analyzing Faults to Improve Election Process Robustness

Abstract

This paper presents an approach for continuous process improvement and illustrates its application to improving the robustness of election processes. In this approach, the Little-JIL process definition language is used to create a precise and detailed model of an election process. Given this process model and a potential undesirable event, or hazard, a… (More)
View Slides

Topics

  • Presentations referencing similar topics