Rajni Mohana, Gaurav deep, Jagpreet Sidhu,. 2019. “Asymmetric Authentication As a Service in Private Cloud, Formal Validation by Scyther”. International Journal of Advanced Science and Technology 28 (19), 710 -17. http://sersc.org/journals/index.php/IJAST/article/view/2655.