Bo Meng
School of Computer, South-Center University for Nationalities, MinYuan Road No. 708, HongShan Section, Wuhan, Hubei, 430074, China
PDF Fulltext XML References Citation
How to cite this article
Bo Meng, 2011. Refinement of Mechanized Proof of Security Properties of Remote Internet Voting Protocol in Applied PI Calculus with Proverif. Information Technology Journal, 10: 293-334.
DOI: 10.3923/itj.2011.293.334
URL: https://scialert.net/abstract/?doi=itj.2011.293.334
DOI: 10.3923/itj.2011.293.334
URL: https://scialert.net/abstract/?doi=itj.2011.293.334