Title
Automated Analysis of Voting Systems with Dolev-Yao Intruder Model.
Year
Venue
Field
2013
ECEASST
Automated reasoning,Voting,Computer security,Threat model,Computer science,Communication channel,Theoretical computer science,Anonymity,State space,System model
DocType
Volume
Citations 
Journal
66
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Murat Moran192.20
James Heather229722.19