Stochastic Simulation Methods Applied to a Secure Electronic Voting Model

Jeremy T. Bradley, Stephen T. Gilmore

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

We demonstrate a novel simulation technique for analysing large stochastic process algebra models, applying this to a secure electronic voting system example. By approximating the discrete state space of a PEPA model by a continuous equivalent, we can draw on rate equation simulation techniques from both chemical and biological modelling to avoid having to directly enumerate the huge state spaces involved. We use stochastic simulation techniques to provide traces of course-of-values time series representing the number of components in a particular state. Using such a technique we can get simulation results for models exceeding 1010000 states within only a few seconds.

Original languageEnglish
Pages (from-to)5-25
Number of pages21
JournalElectronic Notes in Theoretical Computer Science
Issue number3
Publication statusPublished - 2006

Keywords / Materials (for Non-textual outputs)

  • secure electronic voting


Dive into the research topics of 'Stochastic Simulation Methods Applied to a Secure Electronic Voting Model'. Together they form a unique fingerprint.

Cite this