Bo Meng
School of Computer, South-Center University for Nationalities, MinYuan Road #708 HongShan Section, Wuhan, Hubei, 430074, China
PDF Fulltext XML References Citation
How to cite this article
Bo Meng, 2012. Automatic Formal Framework of Coercion-resistance in Internet Voting Protocols with CryptoVerif in Computational Model. Information Technology Journal, 11: 741-750.
DOI: 10.3923/itj.2012.741.750
URL: https://scialert.net/abstract/?doi=itj.2012.741.750
DOI: 10.3923/itj.2012.741.750
URL: https://scialert.net/abstract/?doi=itj.2012.741.750