View of Automated Analysis of Voting Systems with Dolev-Yao Intruder Model

Return to Article Details Automated Analysis of Voting Systems with Dolev-Yao Intruder Model Download Download PDF