Document Details

Document Type : Thesis 
Document Title :
FORMAL SECURITY ANALYSIS OF THE SIGNAL PROTOCOL
التحليل الأمني الرياضي لبروتوكول الإشارة
 
Subject : Faculty of Computing and Information Technology 
Document Language : Arabic 
Abstract : Signal Protocol is one of the most popular cryptographic protocols which is designed by Open Whisper System. It delivers end-to-end encryption for instant messaging (IM) conversations. Further, it is considered the core security protocol for numerous applications such as WhatsApp, Google Allo and Facebook Messenger. The increase use of the Signal Protocol in different IM application has made it imperative which is a big attraction for the intruders. Therefore, a formal analysis of the Signal Protocol is deemed necessary to ensure its capability in security domain. In this thesis, a formal analysis of the security protocol is conducted using Scyther, which is a model checking tool and it has been used in the analysis of different protocols. The Signal Protocol in this work is analyzed into three phases; registration phase, sending and receiving message phase, and sending a reply phase. The obtained results are addressed and compared to the mathematical and other model checking approaches 
Supervisor : Dr. Iftikhar Ahmad Khan 
Thesis Type : Master Thesis 
Publishing Year : 1440 AH
2019 AD 
Added Date : Thursday, August 29, 2019 

Researchers

Researcher Name (Arabic)Researcher Name (English)Researcher TypeDr GradeEmail
نوال زايد المزينيAl-Muzaini, Nawal ZaiedResearcherMaster 

Files

File NameTypeDescription
 44958.pdf pdf 

Back To Researches Page