Bo Meng
School of Computer, South-Center University for Nationalities, China
Wei Huang
School of Computer, South-Center University for Nationalities, China
Jun Qin
School of Computer, South-Center University for Nationalities, China
PDF Fulltext XML References Citation
How to cite this article
Bo Meng, Wei Huang and Jun Qin, 2010. Automatic Verification of Security Properties of Remote Internet Voting Protocol in Symbolic Model. Information Technology Journal, 9: 1521-1556.
DOI: 10.3923/itj.2010.1521.1556
URL: https://scialert.net/abstract/?doi=itj.2010.1521.1556
DOI: 10.3923/itj.2010.1521.1556
URL: https://scialert.net/abstract/?doi=itj.2010.1521.1556