{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,14]],"date-time":"2026-10-14T19:22:30Z","timestamp":1792005750188,"version":"4.4.0"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540341994","type":"print"},{"value":"9783540342014","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11754305_20","type":"book-chapter","created":{"date-parts":[[2006,7,21]],"date-time":"2006-07-21T08:12:47Z","timestamp":1153469567000},"page":"178-185","source":"Crossref","is-referenced-by-count":12,"title":["Definition and Analysis of Election Processes"],"prefix":"10.1007","author":[{"given":"Mohammad S.","family":"Raunak","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bin","family":"Chen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amr","family":"Elssamadisy","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lori A.","family":"Clarke","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Leon J.","family":"Osterweil","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"1","key":"20_CR1","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1109\/MSECP.2004.1264851","volume":"2","author":"J. Bannet","year":"2004","unstructured":"Bannet, J., Price, D.W., Rudys, A., Singer, J., Wallach, D.S.: Hack-a-vote: Security issues with electronic voting systems. Security & Privacy Magazine\u00a02(1), 32\u201337 (2004)","journal-title":"Security & Privacy Magazine"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"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, pp. 754\u2013757 (2000)","DOI":"10.1145\/337180.337623"},{"key":"20_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1007\/11608035_29","volume-title":"Unifying the Software Process Spectrum","author":"L.A. Clarke","year":"2006","unstructured":"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: Li, M., Boehm, B., Osterweil, L.J. (eds.) SPW 2005. LNCS, vol.\u00a03840, pp. 347\u2013359. Springer, Heidelberg (2006)"},{"key":"20_CR4","unstructured":"Dugger, R.: Counting votes. Annals of Democracy. New Yorker\u00a064(38) (November 7, 1988)"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Clarke, L.A., Cobleigh, J.M., Naumovich, G.: Flow Analysis for Verifying Properties of Concurrent Software Systems. ACM Transactions on Software Engineering and Methodology, 359\u2013430 (October 2004)","DOI":"10.1145\/1040291.1040292"},{"key":"20_CR6","volume-title":"System IEEE Symposium on Security and Privacy 2004","author":"T. Kohno","year":"2004","unstructured":"Kohno, T., Stubblefield, A., Rubin, A., Wallach, D.: Analysis of an Electronic Voting. In: System IEEE Symposium on Security and Privacy 2004, IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"20_CR7","unstructured":"Robinson, S.: Did Your Vote Count? New Coded Ballots May Prove It Did. New York Times, March 2 (2004), \n                    \n                      http:\/\/www.nytimes.com\/2004\/03\/02\/science\/02VOTE.html?ex=1084334400&en=88f5c6e6696ccdcf&ei=5070"},{"key":"20_CR8","unstructured":"U.S. presidential election (2000): Wikipedia, \n                    \n                      http:\/\/en.wikipedia.org\/wiki\/U.S._presidential_election,_2000"},{"key":"20_CR9","unstructured":"Verified Voting Foundation, \n                    \n                      http:\/\/www.verifiedvotingfoundation.org"},{"key":"20_CR10","unstructured":"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)"}],"container-title":["Lecture Notes in Computer Science","Software Process Change"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11754305_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,24]],"date-time":"2019-01-24T00:41:50Z","timestamp":1548290510000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11754305_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540341994","9783540342014"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11754305_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}