Much has been written and discussed about the security of our election process especially with the 2000 and 2004 presidential elections. Much of the work that has been published in this area addresses one part or another of the election process - most notably the security of voting machines. In this paper we argue that the process is just as important, if not more important, than the individual when considering the security of elections. We use process modeling languages and techniques from the Software Engineering field to model the Election process and the security properties we wish this process to adhere to, and then use model checking techniques to prove or disprove the properties. The results from the model checking are in the form of counter examples - or attacks - that can be used to iteratively improve the security of the process.