Automated Analysis of Voting Systems with Dolev-Yao Intruder Model (2013)
Attributed to:
Trustworthy Voting Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract
Volume: AVOCS
Parent Publication: 13th Workshop on Automated Verification of Critical Systems