Automated Analysis of Voting Systems with Dolev-Yao Intruder Model (2013)

First Author: Murat Moran And James Heather
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