Definition and analysis of election processes

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3966 LNCS, Issue , 2006, Pages 178-185

  Raunak, Mohammad S ^a   Chen, Bin ^a   Elssamadisy, Amr ^a   Clarke, Lori A ^a   Osterweil, Leon J ^a  

^a Biologically Inspired Neural and Dynamical Systems Laboratory   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; FINITE AUTOMATA; FORMAL LANGUAGES; INFORMATION TECHNOLOGY; MATHEMATICAL MODELS; PERSONNEL; SOCIAL ASPECTS;

ELECTION OFFICIALS; ELECTION PROCESSES; FRAUDULENT BEHAVIORS; VULNERABILITY;

BEHAVIORAL RESEARCH;

EID: 33745919519     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11754305_20     Document Type: Conference Paper

References (10)

1. Bannet, J., Price, D.W., Rudys, A., Singer, J., Wallach, D.S.: Hack-a-vote: Security issues with electronic voting systems. Security & Privacy Magazine, IEEE, Vol. 2(1). Jan.-Feb. (2004) 32-37
2. Cass, A.G., Lerner, B.S., McCall, E.K., Osterweil, L.J., Sutton Jr., S.M., Wise, A.: Little-JIL/Juliette: A process definition language and interpreter. In: Proc. of the 22nd International Conference on Software Engineering, Limerick, Ireland (2000) 754-757
3. Clarke L.A., Chen Y., Avrunin G.S., Chen B., Cobleigh R., Frederick K., Henneman E.A., Osterweil L.J.: Process Programming to Support Medical Safety: A Case Study on Blood Transfusion. In: Proceedings of the Software Process Workshop (SPW2005), Beijing, China, May 25-27 (2005), Springer-Verlag Lecture Notes in Computer Science, Vol. 3840, 347-359
4. Dugger, R.: Counting votes. Annals of Democracy. New Yorker Vol. 64 (38) Nov 7, 1988
5. Dwyer, M.B., Clarke L.A., Cobleigh J.M., and Naumovich O.: Flow Analysis for Verifying Properties of Concurrent Software Systems. ACM Transactions on Software Engineering and Methodology, October (2004) 359-430
6. Kohno, T., Stubblefield, A., Rubin, A., and Wallach, D.: Analysis of an Electronic Voting. System IEEE Symposium on Security and Privacy 2004. IEEE Computer Society Press, May 2004.
7. Robinson S.: Did Your Vote Count? New Coded Ballots May Prove It Did. New York Times, March 2nd 2004, http://www.nytimes.com/2004/03/02/science/02VOTE.html?exs=1084334400&en= 88f5c6e6696ccdcf&ei-5070
8. U.S. presidential election, 2000: Wikipedia, http://en.wikipedia.org/wiki/U.S._presidential_election,_2000.
9. Verified Voting Foundation, http://www.verifiedvotingfoundation.org
10. Wise A.: Little-JIL 1.0 language report. Technical Report No. UM-CS-1998-024, Department of Computer Science, University of Massachusetts, Amherst, MA (1998)