Computing Publications

Publications Home » Stochastic simulation methods app...

Stochastic simulation methods applied to a secure electronic voting model

Jeremy T. Bradley, Stephen T. Gilmore

Conference or Workshop Paper
PASM 2005, 2nd International Workshop on the Practical Application of Stochastic Modelling
June, 2006
Electronic Notes in Theoretical Computer Science
Volume 151
Issue 3
DOI 10.1016/j.entcs.2006.03.009

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 10^{10000} states within only a few seconds.

Fluid and ODE analysis
Performance Modelling and Analysis
Process Algebra
PDF of full publication (351 kilobytes)
(need help viewing PDF files?)
GZipped Postscript of full publication (303 kilobytes)
(need help viewing GZipped Postscript files?)
BibTEX file for the publication
Conditions for downloading publications from this site. built & maintained by Ashok Argent-Katwala.