TY  - RPRT
TI  - Verification of A Security Adaptive Protocol Suite Using SPIN
AU  - Shamim Ripon
AU  - Sumaya Mahbub
AU  - K. M. Intiaz-ud-Din
PY  - 2014
DO  - 10.7763/ijet.2013.v5.553
UR  - https://arxiv.org/abs/1403.1846
ID  - 1403.1846
ER  -