Rajni Mohana, G. deep, J. S. Asymmetric Authentication As a Service in Private Cloud, Formal Validation by Scyther. IJAST 2019, 28, 710 - 717.