Verification of A Security Adaptive Protocol Suite Using SPIN. - Shamim Ripon; Sumaya Mahbub; K. M. Imtiaz-Ud-Din (CoRR, 2014)