Rajni Mohana, G. deep, J. S. “Asymmetric Authentication As a Service in Private Cloud, Formal Validation by Scyther”. International Journal of Advanced Science and Technology, Vol. 28, no. 19, Dec. 2019, pp. 710 -17, http://sersc.org/journals/index.php/IJAST/article/view/2655.