DMCA

www.elsevier.com/locate/entcs Static Validation of a Voting Protocol

Cached

Download Links

by Christoffer Rosenkilde , Nielsen Esben , Heltoft Andersen , Hanne Riis Nielson