Automated Analysis of Voting Systems with Dolev-Yao Intruder Model.

Murat Moran James Heather

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2013)

Keyphrases

automated analysis
probabilistic model
management system
computational model
expert systems
neural network
social networks
image processing
data analysis
image retrieval
feature vectors
probability distribution
voting schemes