Meng, B. , Wang, W. (2011), 'Mechanized Proof of Resistance of Denial of Service Attacks in Voting Protocol with ProVerif', World Academy of Science, Engineering and Technology, Open Science Index 60, International Journal of Computer and Information Engineering, 5(12), 1641 - 1646.