Wei Huang
School of Computer, South-Center University for Nationalities, MinYuan Road #708, HongShan Section, Wuhan, 430074, Hubei, China
Bo Meng
School of Computer, South-Center University for Nationalities, MinYuan Road #708, HongShan Section, Wuhan, 430074, Hubei, China
PDF Fulltext XML References Citation
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
DOI: 10.3923/itj.2011.1468.1483
URL: https://scialert.net/abstract/?doi=itj.2011.1468.1483