No Citation Found
How to cite this article
Zimao Li, Bo Meng, Dejun Wang and Wei Chen, 2015. Mechanized Verification of Cryptographic Security of Cryptographic Security Protocol Implementation in JAVA through Model Extraction in the Computational Model. Journal of Software Engineering, 9: 1-32.
DOI: 10.3923/jse.2015.1.32
URL: https://scialert.net/abstract/?doi=jse.2015.1.32
DOI: 10.3923/jse.2015.1.32
URL: https://scialert.net/abstract/?doi=jse.2015.1.32