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, v. 28, n. 19, p. 710 - 717, 31 Dec. 2019.