{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:30:17Z","timestamp":1725557417030},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642135552"},{"type":"electronic","value":"9783642135569"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13556-9_6","type":"book-chapter","created":{"date-parts":[[2010,6,5]],"date-time":"2010-06-05T05:46:54Z","timestamp":1275716814000},"page":"89-108","source":"Crossref","is-referenced-by-count":8,"title":["Engineering a Distributed e-Voting System Architecture: Meeting Critical Requirements"],"prefix":"10.1007","author":[{"given":"J. Paul","family":"Gibson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Lallet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Luc","family":"Raffy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1007\/11901433_32","volume-title":"Formal Methods and Software Engineering","author":"J.-R. Abrial","year":"2006","unstructured":"Abrial, J.-R., Butler, M.J., Hallerstede, S., Voisin, L.: An open extensible tool environment for event-b. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 588\u2013605. Springer, Heidelberg (2006)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Anane, R., Freeland, R., Theodoropoulos, G.: E-voting requirements and implementation. In: The 9th IEEE International Conference on E-Commerce Technology and the 4th IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services. CEC\/EEE, Tokyo, Japan, July 2007, pp. 382\u2013392 (2007)","DOI":"10.1109\/CEC-EEE.2007.42"},{"key":"6_CR3","unstructured":"Braun, N., Br\u00e4ndli, D.: Swiss e-voting pilot projects: Evaluation, situation analysis and how to proceed. In: Krimmer [20], pp. 27\u201336"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"988","DOI":"10.1109\/ARES.2006.56","volume-title":"ARES 2006: Proceedings of the First International Conference on Availability, Reliability and Security","author":"J.W. Bryans","year":"2006","unstructured":"Bryans, J.W., Littlewood, B., Ryan, P.Y.A., Strigini, L.: E-voting: Dependability requirements and design for dependability. In: ARES 2006: Proceedings of the First International Conference on Availability, Reliability and Security, Washington, DC, USA, pp. 988\u2013995. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1109\/SEFM.2007.21","volume-title":"Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007)","author":"D. Cansell","year":"2007","unstructured":"Cansell, D., Gibson, J.P., M\u00e9ry, D.: Formal verification of tamper-evident storage for e-voting. In: Hinchey, M., Margaria, T. (eds.) Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), London, England, UK, pp. 329\u2013338. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.entcs.2007.01.060","volume":"183","author":"D. Cansell","year":"2007","unstructured":"Cansell, D., Gibson, J.P., M\u00e9ry, D.: Refinement: A constructive approach to formal software design for a secure e-voting interface. Electronic Notes in Theoretical Computer Science\u00a0183, 39\u201355 (2007)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"6_CR7","first-page":"182","volume-title":"Psychology of Programming Interest Group 17th annual workshop (PPIG 2005)","author":"D. Carew","year":"2005","unstructured":"Carew, D., Exton, C., Buckley, J., McGaley, M., Gibson, J.P.: Preliminary study to empirically investigate the comprehensibility of requirements specifications. In: Romero, P., Good, J., Acosta Chaparro, E., Bryant, S. (eds.) Psychology of Programming Interest Group 17th annual workshop (PPIG 2005), pp. 182\u2013202. University of Sussex, Brighton (2005)"},{"key":"6_CR8","unstructured":"Chaum, D., van der Graaf, J., Ryan, P.Y.A., Vora, P.: Secret ballot elections with unconditional integrity. Report CS-TR-1058, Department of Computing Science, University of Newcastle upon Tyne (2007)"},{"issue":"4","key":"6_CR9","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1016\/j.cose.2004.01.015","volume":"23","author":"Y.-Y. Chen","year":"2004","unstructured":"Chen, Y.-Y., Jan, J.k., Chen, C.-L.: The design of a secure anonymous internet voting system. Computers & Security\u00a023(4), 330\u2013337 (2004)","journal-title":"Computers & Security"},{"key":"6_CR10","unstructured":"Clarkson, M.E., Chong, S., Myers, A.C.: Civitas: A secure remote voting system. In: Chaum, D., Kutylowski, M., Rivest, R.L., Ryan, P.Y.A. (eds.) Frontiers of Electronic Voting. Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), vol.\u00a007311, Schloss Dagstuhl, Germany (2007)"},{"key":"6_CR11","unstructured":"Gibson, J.P.: Formal Object Oriented Development of Software Systems Using LOTOS. Thesis CSM-114, Stirling University (August 1993)"},{"key":"6_CR12","unstructured":"Gibson, J.P.: E-voting requirements modelling: An algebraic specification approach (with cafeobj). Report NUIM-CS-TR-2005-14, Department of Computer Science, National University of Ireland, Maynooth (2005)"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/ICSEA.2008.18","volume-title":"The Third International Conference on Software Engineering Advances (ICSEA 2008)","author":"J.P. Gibson","year":"2008","unstructured":"Gibson, J.P., Lallet, E., Raffy, J.-L.: Analysis of a distributed e-voting system architecture against quality of service requirements. In: The Third International Conference on Software Engineering Advances (ICSEA 2008), pp. 58\u201364. IEEE Computer Society Press, Los Alamitos (2008)"},{"key":"6_CR14","first-page":"91","volume-title":"Feature Interactions in Software and Communication Systems X","author":"J.P. Gibson","year":"2009","unstructured":"Gibson, J.P., Lallet, E., Raffy, J.-L.: Feature interactions in a software product line for e-voting. In: Nakamura, Reiff-Marganiec (eds.) Feature Interactions in Software and Communication Systems X, Lisbon, Portugal, June 2009, pp. 91\u2013106. IOS Press, Amsterdam (2009)"},{"key":"6_CR15","unstructured":"Gibson, J.P., McGaley, M.: Verification and maintenance of e-voting systems and standards. In: Remenyi, D. (ed.) 8th European Conference on e-Government, Lausanne, Switzerland, July 2008, pp. 283\u2013289. Academic Publishing International (2008)"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1145\/332186.332287","volume-title":"CFP 2000: Proceedings of the tenth conference on Computers, freedom and privacy","author":"L.J. Hoffman","year":"2000","unstructured":"Hoffman, L.J.: Internet voting: will it spur or corrupt democracy? In: CFP 2000: Proceedings of the tenth conference on Computers, freedom and privacy, pp. 219\u2013223. ACM, New York (2000)"},{"key":"6_CR17","unstructured":"ISO\/IEC. Estelle: A formal description technique based on an extended state transition model. Technical Report ISO 9074, Information technology - Open Systems Interconnection (1997)"},{"issue":"10","key":"6_CR18","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/1022594.1022624","volume":"47","author":"D. Jefferson","year":"2004","unstructured":"Jefferson, D., Rubin, A.D., Simons, B., Wagner, D.: Analyzing internet voting security. ACM Commun.\u00a047(10), 59\u201364 (2004)","journal-title":"ACM Commun."},{"key":"6_CR19","unstructured":"Joaquim, R., Zuquete, A., Ferreira, P.: REVS \u2014 A Robust Electronic Voting System. In: Proceedings of the IADIS International Conference on e-Society, Lisbon, Portugal, June 2003, pp. 95\u2013103 (2003)"},{"key":"6_CR20","unstructured":"Krimmer, R. (ed.): Electronic Voting 2006: 2nd International Workshop, Co-organized by Council of Europe, ESF TED, IFIP WG 8.6 and E-Voting.CC, Castle Hofen, Bregenz, Austria, August 2-4. LNI, vol.\u00a086. GI (2006)"},{"key":"6_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-77493-8_1","volume-title":"E-Voting and Identity","author":"R. Krimmer","year":"2007","unstructured":"Krimmer, R., Triessnig, S., Volkamer, M.: The development of remote e-voting around the world: A review of roads and directions. In: Alkassar, A., Volkamer, M. (eds.) VOTE-ID 2007. LNCS, vol.\u00a04896, pp. 1\u201315. Springer, Heidelberg (2007)"},{"key":"6_CR22","unstructured":"Maaten, E.: Towards remote e-voting: Estonian case. In: Prosser, A., Krimmer, R. (eds.) Electronic Voting in Europe. LNI, vol.\u00a047, pp. 83\u2013100. GI (2004)"},{"key":"6_CR23","unstructured":"Madise, \u00dc., Martens, T.: E-voting in estonia 2005. the first practice of country-wide binding internet voting in the world. In: Krimmer [20], pp. 15\u201326 (2005)"},{"key":"6_CR24","unstructured":"McGaley, M., Gibson, J.P.: E-voting: a safety critical system. Report NUIM-CS-TR-2003-2, Department of Computer Science, National University of Ireland, Maynooth (2003)"},{"key":"6_CR25","unstructured":"McGaley, M., Gibson, J.P.: A critical analysis of the council of europe recommendations on e-voting. In: EVT 2006: Proceedings of the USENIX\/Accurate Electronic Voting Technology Workshop 2006 on Electronic Voting Technology Workshop, pp. 9\u201322. USENIX Association (2006)"},{"issue":"10","key":"6_CR26","doi-asserted-by":"publisher","first-page":"1482","DOI":"10.1109\/26.103043","volume":"39","author":"D.L. Mills","year":"1991","unstructured":"Mills, D.L.: Internet time synchronization: the network time protocol. IEEE Transactions on Communications\u00a039(10), 1482\u20131493 (1991)","journal-title":"IEEE Transactions on Communications"},{"issue":"3","key":"6_CR27","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1016\/j.csi.2006.06.001","volume":"29","author":"G.Z. Qadah","year":"2007","unstructured":"Qadah, G.Z., Taha, R.: Electronic voting systems: Requirements, design, and implementation. Comput. Stand. Interfaces\u00a029(3), 376\u2013386 (2007)","journal-title":"Comput. Stand. Interfaces"},{"issue":"1","key":"6_CR28","first-page":"1","volume":"9","author":"S.K. Roth","year":"1998","unstructured":"Roth, S.K.: Disenfranchised by design: voting systems and the election process. Information Design Journal\u00a09(1), 1\u20138 (1998)","journal-title":"Information Design Journal"},{"issue":"12","key":"6_CR29","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/585597.585599","volume":"45","author":"A.D. Rubin","year":"2002","unstructured":"Rubin, A.D.: Security considerations for remote electronic voting. ACM Commun.\u00a045(12), 39\u201344 (2002)","journal-title":"ACM Commun."},{"key":"6_CR30","unstructured":"Sandler, D.R., Wallach, D.S.: The case for networked remote voting precincts. In: EVT 2008: Proceedings of the USENIX\/Accurate Electronic Voting Technology Workshop 2008 on Electronic Voting Technology Workshop, Berkeley, CA, USA, July 2008. USENIX Association (2008)"},{"issue":"4","key":"6_CR31","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1023\/B:BTTJ.0000047587.09395.e5","volume":"22","author":"T. Selker","year":"2004","unstructured":"Selker, T., Goler, J.: The save system \u2014 secure architecture for voting electronically. BT Technology Journal\u00a022(4), 89\u201395 (2004)","journal-title":"BT Technology Journal"},{"issue":"1","key":"6_CR32","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1007910115824","volume":"12","author":"B. Sterzbach","year":"1997","unstructured":"Sterzbach, B.: Gps-based clock synchronization in a mobile, distributed real-time system. Real-Time Syst.\u00a012(1), 63\u201375 (1997)","journal-title":"Real-Time Syst."},{"key":"6_CR33","unstructured":"Storer, T., Duncan, I.: Practical remote electronic elections for the uk. In: PST, pp. 41\u201345 (2004)"},{"key":"6_CR34","first-page":"29","volume-title":"ADC 2005: Proceedings of the Agile Development Conference","author":"A. Tappenden","year":"2005","unstructured":"Tappenden, A., Beatty, P., Miller, J.: Agile security testing of web-based systems via httpunit. In: ADC 2005: Proceedings of the Agile Development Conference, Washington, DC, USA, pp. 29\u201338. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"6_CR35","unstructured":"Weibel, H., B\u00e9chaz, D.: IEEE1588 Implementation and Performance of Time Stamping Techniques. In: Conference on IEEE 1588, Gaithersburg (september 2004)"},{"key":"6_CR36","doi-asserted-by":"crossref","unstructured":"Z\u00faquete, A., Almeida, F.: Verifiable anonymous vote submission. In: SAC 2008: Proceedings of the 2008 ACM symposium on Applied computing, pp. 2159\u20132166. ACM, New York (2008)","DOI":"10.1145\/1363686.1364202"}],"container-title":["Lecture Notes in Computer Science","Architecting Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13556-9_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:39:59Z","timestamp":1606185599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13556-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642135552","9783642135569"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13556-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}