Facebook pixel tracking

The Science and Information (SAI) Organization publishes open-access peer-reviewed journals in computer science and artificial intelligence.

Contact Info
Email info@thesai.org
Website thesai.org
Follow Us
Contact Info
Email info@thesai.org
Follow Us
Research Article | Open Access |

Analysis of Security Protocols using Finite-State Machines

Author 1: Dania Aljeaid Author 2: Xiaoqi Ma Author 3: Caroline Langensiepen
International Journal of Advanced Research in Artificial Intelligence (IJARAI) · Vol. 4, No. 4 · Published 2015

DOI: 10.14569/IJARAI.2015.040407

Download PDF Cite

Abstract

This paper demonstrates a comprehensive analysis method using formal methods such as finite-state machine. First, we describe the modified version of our new protocol and briefly explain the encrypt-then-authenticate mechanism, which is regarded as more a secure mechanism than the one used in our protocol. Then, we use a finite-state verification to study the behaviour of each machine created for each phase of the protocol and examine their behaviours together. Modelling with finite-state machines shows that the modified protocol can function correctly and behave properly even with invalid input or time delay.

Keywords

identity-based cryptosystem cryptographic protocols finite-state machine

How to Cite this Article

Aljeaid, D., Ma, X., & Langensiepen, C. (2015). Analysis of Security Protocols using Finite-State Machines. International Journal of Advanced Research in Artificial Intelligence, 4(4). https://doi.org/10.14569/IJARAI.2015.040407

Aljeaid, Dania, et al.. "Analysis of Security Protocols using Finite-State Machines." International Journal of Advanced Research in Artificial Intelligence, vol. 4, no. 4, 2015, https://doi.org/10.14569/IJARAI.2015.040407.

@article{Aljeaid2015,
  title     = {Analysis of Security Protocols using Finite-State Machines},
  journal   = {International Journal of Advanced Research in Artificial Intelligence},
  volume    = {4},
  number    = {4},
  year      = {2015},
  publisher = {The Science and Information Organization},
  author    = {Dania Aljeaid and Xiaoqi Ma and Caroline Langensiepen},
  doi       = {10.14569/IJARAI.2015.040407},
  url       = {https://doi.org/10.14569/IJARAI.2015.040407}
}

Open Access — licensed under a Creative Commons Attribution 4.0 International License. Unrestricted use, distribution, and reproduction in any medium, even commercially, as long as the original work is properly cited.

Back to Issue
IJARAI Journal Cover