Rajni Mohana G deep, JS. Asymmetric Authentication as a Service in Private Cloud, Formal Validation by Scyther. IJAST [Internet]. 2019Dec.31 [cited 2024May4];28(19):710 -717. Available from: http://sersc.org/journals/index.php/IJAST/article/view/2655