Bo Meng
School of Computer, South-Center University for Nationalities, MinYuan Road # 708, Hong Shan Section, Wuhan, Hubei, 430074, China
Fei Shao
School of Computer, South-Center University for Nationalities, MinYuan Road # 708, Hong Shan Section, Wuhan, Hubei, 430074, China
PDF Fulltext XML References Citation
How to cite this article
Bo Meng and Fei Shao, 2011. Computationally Sound Mechanized Proofs for Deniable Authentication Protocols with a Probabilistic Polynomial Calculus in Computational Model. Information Technology Journal, 10: 611-625.
DOI: 10.3923/itj.2011.611.625
URL: https://scialert.net/abstract/?doi=itj.2011.611.625
DOI: 10.3923/itj.2011.611.625
URL: https://scialert.net/abstract/?doi=itj.2011.611.625