Skip to main content
SpringerLink
Log in

Performance Evaluation of a Secure and Scalable E-Voting Scheme Using PEPA

  • Conference paper
  • First Online:
New Frontiers in Quantitative Methods in Informatics (InfQ 2017)

Part of the book series: Communications in Computer and Information Science ((CCIS,volume 825))

Included in the following conference series:

Abstract

In this paper we constructed a formal performance model for a secure and scalable e-voting scheme known as DRE-i voting scheme. The well-known formal stochastic performance evaluation process algebra (PEPA) language and PEPA Eclipse plug-in were used to represent the voting scheme and analyse its performance characteristics. Timely responses of remote electronic voting protocols are important to increase voters’ confidence in e-voting systems. Therefore we evaluated the average response time that voters may observe when they cast their votes using remote electronic voting systems, such as DRE-i, and we also evaluated the throughput and queue length of the DRE-i server’s actions for different number of voters inside the DRE-i e-voting system. The performance evaluation of the DRE-i scheme reveals that PEPA language is efficient in investigating the performance properties of large scale e-voting schemes.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Backes, M., Hritcu, C., Maffei, M.: Automated verification of remote electronic voting protocols in the applied pi-calculus. In: 2008 21st IEEE Computer Security Foundations Symposium. IEEE (2008)

    Google Scholar 

  2. Bradley, J.T., Gilmore, S.T.: Stochastic simulation methods applied to a secure electronic voting model. Electron. Notes Theor. Comput. Sci. 151(3), 5–25 (2006)

    Article  Google Scholar 

  3. Fujioka, A., Okamoto, T., Ohta, K.: A practical secret voting scheme for large scale elections. In: Seberry, J., Zheng, Y. (eds.) AUSCRYPT 1992. LNCS, vol. 718, pp. 244–251. Springer, Heidelberg (1993). https://doi.org/10.1007/3-540-57220-1_66

    Chapter  Google Scholar 

  4. Gritzalis, D.A.: Principles and requirements for a secure e-voting system. Comput. Secur. 21(6), 539–556 (2002)

    Article  Google Scholar 

  5. Hao, F., Kreeger, M., Randell, B., Clarke, D., Shahandashti, S., Lee, P.J.: Every vote counts: ensuring integrity in large-scale electronic voting. In: 2014 Electronic Voting Technology Workshop/Workshop on Trustworthy Elections (EVT/WOTE 2014), vol. 2, pp. 1–25 (2014)

    Google Scholar 

  6. Hao, F., Clarke, D., Shepherd, C.: Verifiable classroom voting: where cryptography meets pedagogy. In: Christianson, B., Malcolm, J., Stajano, F., Anderson, J., Bonneau, J. (eds.) Security Protocols 2013. LNCS, vol. 8263, pp. 245–254. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-41717-7_28

    Chapter  Google Scholar 

  7. Hillston, J.: A Compositional Approach to Performance Modelling, vol. 12. Cambridge University Press, Cambridge (2005)

    MATH  Google Scholar 

  8. Hillston, J.: Fluid flow approximation of PEPA models. In: Second International Conference on the Quantitative Evaluation of Systems (QEST 2005). IEEE (2005)

    Google Scholar 

  9. Kremer, S., Ryan, M.: Analysis of an electronic voting protocol in the applied Pi calculus. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol. 3444, pp. 186–200. Springer, Heidelberg (2005). https://doi.org/10.1007/978-3-540-31987-0_14

    Chapter  Google Scholar 

  10. Madise, Ü., Martens, T.: E-voting in Estonia 2005. The first practice of country-wide binding internet voting in the world. In: Electronic Voting, vol. 86 (2006)

    Google Scholar 

  11. Network, M.D.: Web workers API, March 2015. https://developer.mozilla.org/en-US/docs/Web/API/Web_Workers_API. Accessed on 22 Nov 2017

  12. Stathakidis, E., Schneider, S., Heather, J.: Robustness modelling and verification of a Mix Net protocol. In: Chen, L., Mitchell, C. (eds.) SSR 2014. LNCS, vol. 8893, pp. 131–150. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-14054-4_9

    Chapter  Google Scholar 

  13. Thomas, N.: Performability of a secure electronic voting algorithm. Electron. Notes Theor. Comput. Sci. 128, 45–58 (2005)

    Article  Google Scholar 

  14. Thomas, N., Zhao, Y.: Fluid flow analysis of a model of a secure key distribution centre. In: Proceedings 24th Annual UK Performance Engineering Workshop, Imperial College, London, pp. 44–57 (2008)

    Google Scholar 

  15. Thomas, N., Zhao, Y.: Mean value analysis for a class of PEPA models. In: Bradley, J.T. (ed.) EPEW 2009. LNCS, vol. 5652, pp. 59–72. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02924-0_5

    Chapter  Google Scholar 

  16. Tribastone, M., Duguid, A., Gilmore, S.: The PEPA eclipse plugin. ACM SIGMETRICS Perform. Eval. Rev. 36(4), 28–33 (2009)

    Article  Google Scholar 

  17. William, S.: Cryptography and Network Security: Principles and Practice, pp. 23–50. Prentice-Hall, Inc., Upper Saddle River (1999)

    Google Scholar 

  18. Zhao, Y., Thomas, N.: Efficient Analysis of PEPA model of Non-repudiation Protocols (2009)

    Google Scholar 

  19. Zhao, Y., Thomas, N.: Approximate solution of a PEPA model of a key distribution centre. In: Kounev, S., Gorton, I., Sachs, K. (eds.) SIPEW 2008. LNCS, vol. 5119, pp. 44–57. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-69814-2_5

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing, Newcastle University, Newcastle upon Tyne, UK

    Mohammed Alotaibi & Nigel Thomas

Authors
  1. Mohammed Alotaibi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nigel Thomas
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Mohammed Alotaibi or Nigel Thomas .

Editor information

Editors and Affiliations

  1. Ca’ Foscari University of Venice, Venice, Italy

    Simonetta Balsamo

  2. Ca’ Foscari University of Venice, Venice, Italy

    Andrea Marin

  3. University of Florence, Florence, Italy

    Enrico Vicario

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Alotaibi, M., Thomas, N. (2018). Performance Evaluation of a Secure and Scalable E-Voting Scheme Using PEPA. In: Balsamo, S., Marin, A., Vicario, E. (eds) New Frontiers in Quantitative Methods in Informatics. InfQ 2017. Communications in Computer and Information Science, vol 825. Springer, Cham. https://doi.org/10.1007/978-3-319-91632-3_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-91632-3_3

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-91631-6

  • Online ISBN: 978-3-319-91632-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation