Bo Meng and  Wei Wang,  Mechanized Proof of Resistance of Denial of Service Attacks in Voting Protocol with ProVerif.   journal   = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology.
    December 2011, vol. 60(12). 1641 - 1646
    [viewed 23 April 2024]. Available from: https://publications.waset.org/pdf/1473.