G. deep, J. S. Rajni Mohana, “Asymmetric Authentication as a Service in Private Cloud, Formal Validation by Scyther”, IJAST, vol. 28, no. 19, pp. 710 - 717, Dec. 2019.