Zimao Li
School of Computer, South-Central University for Nationalities, Min Yuan Road No. 708, Hong Shan
Section, Wuhan, Hubei, 430074, China
Bo Meng
School of Computer, South-Central University for Nationalities, Min Yuan Road No. 708, Hong Shan
Section, Wuhan, Hubei, 430074, China
Dejun Wang
School of Computer, South-Central University for Nationalities, Min Yuan Road No. 708, Hong Shan
Section, Wuhan, Hubei, 430074, China
Wei Chen
School of Computer, South-Central University for Nationalities, Min Yuan Road No. 708, Hong Shan
Section, Wuhan, Hubei, 430074, China
PDF Fulltext XML References Citation
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