Main Page
Deanship
The Dean
Dean's Word
Curriculum Vitae
Contact the Dean
Vision and Mission
Organizational Structure
Vice- Deanship
Vice- Dean
KAU Graduate Studies
Research Services & Courses
Research Services Unit
Important Research for Society
Deanship's Services
FAQs
Research
Staff Directory
Files
Favorite Websites
Deanship Access Map
Graduate Studies Awards
Deanship's Staff
Staff Directory
Files
Researches
Contact us
عربي
English
About
Admission
Academic
Research and Innovations
University Life
E-Services
Search
Deanship of Graduate Studies
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 Type
Dr Grade
Email
نوال زايد المزيني
Al-Muzaini, Nawal Zaied
Researcher
Master
Files
File Name
Type
Description
44958.pdf
pdf
Back To Researches Page