@article{(Open Science Index):https://publications.waset.org/pdf/1473,
	  title     = {Mechanized Proof of Resistance of Denial of Service Attacks in Voting Protocol with ProVerif},
	  author    = {Bo Meng and  Wei Wang},
	  country	= {},
	  institution	= {},
	  abstract     = {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.
},
	    journal   = {International Journal of Computer and Information Engineering},
	  volume    = {5},
	  number    = {12},
	  year      = {2011},
	  pages     = {1641 - 1646},
	  ee        = {https://publications.waset.org/pdf/1473},
	  url   	= {https://publications.waset.org/vol/60},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 60, 2011},
	}