Improved spi-calculus for reasoning on cryptographic protocols

العناوين الأخرى

لغة ال Spi الرياضية محسنة لتحليل بروتوكلات التشفير

مقدم أطروحة جامعية

Bani Hani, Salih Mansur

مشرف أطروحة جامعية

al-Rifai, Hassan
Maush, Murad

الجامعة

جامعة فيلادلفيا

الكلية

كلية تكنولوجيا المعلومات

القسم الأكاديمي

قسم علم الحاسوب

دولة الجامعة

الأردن

الدرجة العلمية

ماجستير

تاريخ الدرجة العلمية

2012

الملخص الإنجليزي

-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.

التخصصات الرئيسية

الرياضيات

الموضوعات

• التشفير
• شبكات الحاسوب
• الإجراءات الأمنية
• البيانات

عدد الصفحات

73

قائمة المحتويات

• APA
• MLA
• AMA

لغة النص

الإنجليزية

نوع البيانات

رسائل جامعية

رقم السجل

BIM-546467