Rajni Mohana, G. deep, J.S. 2019. Asymmetric Authentication as a Service in Private Cloud, Formal Validation by Scyther. International Journal of Advanced Science and Technology. 28, 19 (Dec. 2019), 710 - 717.