• Mar 26, 2024 News!Vol.16, No. 1 has been published with online version.   [Click]
  • Jan 02, 2024 News!All papers in IJET will be publihsed article by article staring from 2024.
  • Nov 03, 2023 News!News | Vol.15, No. 4 has been published with online version.   [Click]
General Information
    • ISSN: 1793-8236 (Online)
    • Abbreviated Title Int. J. Eng. Technol.
    • Frequency:  Quarterly 
    • DOI: 10.7763/IJET
    • APC: 500 USD
    • Managing Editor: Ms. Jennifer Zeng
    • Abstracting/ Indexing: Inspec (IET), CNKI Google Scholar, EBSCO, ProQuest, Crossref, Ulrich Periodicals Directory, Chemical Abstracts Services (CAS), etc.
    • E-mail: ijet_Editor@126.com
IJET 2013 Vol.5(2): 254-256 ISSN: 1793-8236
DOI: 10.7763/IJET.2013.V5.553

Verification of a Security Adaptive Protocol Suite Using SPIN

Shamim Ripon, Sumaya Mahbub, and K. M. Imtiaz-Ud-Din

Abstract—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 crucial success factor for any communication protocols, especially in mobile environment due to its ad hoc behavior. Formal verification plays an important role in development and application of safety critical systems. Formalized exhausted verification techniques to analyze the security and the safety properties of communications protocols increase and confirm the protocol confidence. SPIN is a powerful model checker that verifies the correctness of distributed communication models in a rigorous and automated fashion. This short paper proposes a SPIN based formal verification approach of a security adaptive protocol suite. The protocol suite includes a neighbor discovery mechanism and routing protocol. Both parts of the protocol suite are modeled into SPIN and exhaustively checked various temporal properties which ensure the applicability of the protocol suite in real-life applications.

Index Terms—SPIN, AODV, RND, SA-AODV, model checking.

The authors are with the Computer Science and Engineering Department, East West University, Dhaka, Bangladesh (e-mail: dshr@ewubd.edu).


Cite: Shamim Ripon, Sumaya Mahbub, and K. M. Imtiaz-Ud-Din, "Verification of a Security Adaptive Protocol Suite Using SPIN," International Journal of Engineering and Technology vol. 5, no. 2, pp. 254-256, 2013.

Copyright © 2008-2024. International Journal of Engineering and Technology. All rights reserved. 
E-mail: ijet_Editor@126.com