How to cite this article:
Bo Meng , 2011. Automatic Verification of Deniable Authentication Protocol in a Probabilistic Polynomial Calculus with Cryptoverif. Information Technology Journal, 10: 717-735. DOI: 10.3923/itj.2011.717.735 URL: https://scialert.net/abstract/?doi=itj.2011.717.735
|