Verification of A Security Adaptive Protocol Suite Using SPIN

Shamim Ripon, Sumaya Mahbub, K. M. Intiaz-ud-Din

The advancement of mobile and wireless communication technologies in recent years introduced various adaptive protocols to adapt the need for secured communications. Security is a…