DMCA

Automated Analysis of Voting Systems with Dolev-Yao Intruder Model

by Murat Moran , James Heather , Steve Schneider , Helen Treharne , Tiziana Margaria , Julia Padberg , Gabriele Taentzer , Murat Moran , James Heather