TY - JFULL AU - Bo Meng and Wei Wang PY - 2011/1/ TI - Mechanized Proof of Resistance of Denial of Service Attacks in Voting Protocol with ProVerif T2 - International Journal of Computer and Information Engineering SP - 1640 EP - 1646 VL - 5 SN - 1307-6892 UR - https://publications.waset.org/pdf/1473 PU - World Academy of Science, Engineering and Technology NX - Open Science Index 60, 2011 N2 - Resistance of denial of service attacks is a key security requirement in voting protocols. Acquisti protocol plays an important role in development of internet voting protocols and claims its security without strong physical assumptions. In this study firstly Acquisti protocol is modeled in extended applied pi calculus, and then resistance of denial of service attacks is proved with ProVerif. The result is that it is not resistance of denial of service attacks because two denial of service attacks are found. Finally we give the method against the denial of service attacks. ER -