PDF Fulltext XML References Citation
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
DOI: 10.3923/itj.2011.717.735
URL: https://scialert.net/abstract/?doi=itj.2011.717.735