University of Oulu

A. Delia Jurcut, M. Liyanage, J. Chen, C. Gyorodi and J. He, "On the security verification of a short message service protocol," 2018 IEEE Wireless Communications and Networking Conference (WCNC), Barcelona, 2018, pp. 1-6. doi: 10.1109/WCNC.2018.8377349

On the security verification of a short message service protocol

Saved in:
Author: Jurcut, Anca Delia1; Liyanage, Madhusanka2; Chen, Jinyong1;
Organizations: 1School of Computer Science, University College Dublin, Ireland
2Centre for Wireless Communications (CWC), University of Oulu, Finland
3Department of Computers and Information Technology, University of Oradea, Romania
4College of Computer Science and Technology, Beijing University of Technology, China
Format: article
Version: accepted version
Access: open
Online Access: PDF Full Text (PDF, 0.2 MB)
Persistent link:
Language: English
Published: Institute of Electrical and Electronics Engineers, 2018
Publish Date: 2019-08-15


Short Message Service (SMS) is a text messaging service component of smart phones, web, or mobile communication systems which requires a high level of security to provide user authentication and data confidentiality. To provide such security features, a high security communication protocol for SMS, called Message Security Communication Protocol (MSCP) was proposed. In this paper, MSCP is formally analyzed using an automated logic-based verification tool with attack detection capabilities. The performed formal verification reveals that the proposed protocol is susceptible to parallel session and denial-of-service (DoS) attacks. The reasoning why these attacks are possible is detailed and an amended protocol is proposed to counter the identified attacks. Formal verification of the amended protocol provides confidence regarding the correctness and effectiveness of the proposed modifications.

see all

Series: IEEE Wireless Communications and Networking Conference
ISSN: 1525-3511
ISSN-E: 1558-2612
ISSN-L: 1525-3511
ISBN: 978-1-5386-1734-2
ISBN Print: 978-1-5386-1735-9
Pages: 1 - 6
DOI: 10.1109/WCNC.2018.8377349
Host publication: 2018 IEEE Wireless Communications and Networking Conference (WCNC)
Conference: IEEE Wireless Communications and Networking Conference
Type of Publication: A4 Article in conference proceedings
Field of Science: 213 Electronic, automation and communications engineering, electronics
Funding: This work has been performed under the framework of COST Action CA15127 (RECODIS) and CA16226 (SHELD-ON) projects.
Copyright information: © 2018 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.