Stochastic Simulation Methods Applied to a Secure Electronic Voting Model-Reference-Cited by-同舟云学术

Stochastic Simulation Methods Applied to a Secure Electronic Voting Model

Published:2006-06 Issue:3 Volume:151 Page:5-25
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Bradley Jeremy T.,Gilmore Stephen T.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference31 articles.

1. The inductive approach to verifying cryptographic protocols;Paulson;J. Computer Security,1998

2. Breaking and fixing the Needham-Schroeder public-key protocol using FDR;Lowe;Software-Concepts and Tools,1996

3. C. Bodei, M. Buchholtz, P. Degano, F. Nielson, and H.R. Nielson, “Control flow analysis can find new flaws too,” in Proceedings of Workshop on Issues in the Theory of Security (WITS 04), (Barcelona, Spain), Apr. 2004

4. N. Thomas, “Performability of a secure electronic voting algorithm,” in Proceedings of the first workshop on Practical Applications of Stochastic Modelling (PASM 2004) (J. Bradley and W. Knottenbelt, eds.), (London, England), pp. 81–93, Sept. 2004. To appear in ENTCS

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Performance Impact of Misbehaving Voters;Computer Performance Engineering;2018

2. Performance Evaluation of a Secure and Scalable E-Voting Scheme Using PEPA;Communications in Computer and Information Science;2018

3. Optimizing Supply Chain Performance;2015

4. A Survey on Process Algebraic Stochastic Modelling of Large Distributed Systems for Its Performance Analysis;2014 3rd International Conference on Eco-friendly Computing and Communication Systems;2014-12

5. A Framework for Protecting Voters’ Privacy In Electronic Voting Procedures;Journal of Cases on Information Technology;2013-04