Return to Article Details Formal Analysis of A Novel Mutual Authentication and Key Agreement Protocol Download Download PDF