How to cite this article:
Wei Huang and Bo Meng, 2011. Automated Proof of Resistance of Denial of Service Attacks in Remote Internet Voting Protocol with Extended Applied Pi Calculus. Information Technology Journal, 10: 1468-1483.
DOI: 10.3923/itj.2011.1468.1483
URL: https://scialert.net/abstract/?doi=itj.2011.1468.1483
|