Return to Article Details
Design and evaluation of a lightweight authentication protocol for GSM-based mobile devices using formal verification and statistical analysis
Download
Download PDF