Improved spi-calculus for reasoning on cryptographic protocols
Other Title(s)
لغة ال Spi الرياضية محسنة لتحليل بروتوكلات التشفير
Dissertant
Thesis advisor
University
Philadelphia University
Faculty
Faculty of Information Technology
Department
Department of Computer Science
University Country
Jordan
Degree
Master
Degree Date
2012
English Abstract
-Most of cryptographic protocols are subjects to very subtle attacks.
Therefore, many researchers have developed tools to model and analyze protocols to guarantee their security properties.
Among these developed tools, the spi calculus has proved to be a powerful formal methods have useful for analyzing and reasoning on cryptographic protocols.
However, such research work assumed that the environment will be restricted to some predefined rules and assumptions without solving the case of interacting with real systems that matched with such restrictions.
In this thesis, we introduced an improved version of spi calculus called the Ph-spi calculus.
Such calculus provides the ability for evaluating each action in the running processes and making suitable decision to be more suitable with open environment.
Therefore, we have enhanced the evaluation function to make it capable for making suitable decisions to handle the open and changeability in environment behaviors as well as evaluating and validating every action in protocol processes for proving the main security properties as authentication and confidentiality.
In the Ph-spi calculus, the message is structured to be the same as in real protocols that have a tuple of messages.
Also, it includes all operators needed for such protocols such as timestamp, hash function, digital signature and asymmetric key cryptosystem.
Hence, Phspi calculus ready is to be used for real protocols such as e-commerce protocols.
Main Subjects
Topics
No. of Pages
73
Table of Contents
Table of contents.
Abstract.
Abstract in Arabic.
Chapter One : Introduction.
Chapter Two : Literature review.
Chapter Three : Contribution : the ph-spi calculus.
Chapter Four : Proofs and case study.
Chapter Five : Conclusion and future work.
References.
American Psychological Association (APA)
Bani Hani, Salih Mansur. (2012). Improved spi-calculus for reasoning on cryptographic protocols. (Master's theses Theses and Dissertations Master). Philadelphia University, Jordan
https://search.emarefa.net/detail/BIM-546467
Modern Language Association (MLA)
Bani Hani, Salih Mansur. Improved spi-calculus for reasoning on cryptographic protocols. (Master's theses Theses and Dissertations Master). Philadelphia University. (2012).
https://search.emarefa.net/detail/BIM-546467
American Medical Association (AMA)
Bani Hani, Salih Mansur. (2012). Improved spi-calculus for reasoning on cryptographic protocols. (Master's theses Theses and Dissertations Master). Philadelphia University, Jordan
https://search.emarefa.net/detail/BIM-546467
Language
English
Data Type
Arab Theses
Record ID
BIM-546467