Shamim Ripon Sumaya Mahbub K. M. Imtiaz-Ud-Din Verification of A Security Adaptive Protocol Suite Using SPIN. 2014 abs/1403.1846 CoRR http://arxiv.org/abs/1403.1846 db/journals/corr/corr1403.html#RiponMI14