Improved Spi-Calculus for Reasoning on Cryptographic Protocols
| العنوان بلغة أخرى: |
لغة ال Spi الرياضية محسنة لتحليل بروتوكولات التشفير |
|---|---|
| المؤلف الرئيسي: | بني هاني، صالح منصور (مؤلف) |
| المؤلف الرئيسي (الإنجليزية): | Bani Hani, Saleh Mansour |
| مؤلفين آخرين: | الرفاعي، حسن (مشرف) , معوش، مراد (مشرف) |
| التاريخ الميلادي: |
2012
|
| موقع: | البلقاء |
| الصفحات: | 1 - 73 |
| رقم MD: | 1465650 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | الإنجليزية |
| الدرجة العلمية: | رسالة ماجستير |
| الجامعة: | جامعة فيلادلفيا |
| الكلية: | عمادة البحث العلمي والدراسات العليا |
| الدولة: | الاردن |
| قواعد المعلومات: | Dissertations |
| مواضيع: | |
| رابط المحتوى: |
عناصر مشابهة
-
Verification of Cryptographic Protocols via Supercompilation
بواسطة: Ahmed, Abd Albasit M. منشور: (2008) -
Design and Evaluate A Fair Exchange Protocol Based on Online Trusted Third Party (TTP)
بواسطة: Al Otaibi, Abd Allah Shawan منشور: (2012) -
Stochastic Calculus
بواسطة: Al Harthi, Muteb منشور: (2012) -
Animating Cryptographic Primitives
بواسطة: Arbaaeen, Ammar منشور: (2012) -
Security metric for cryptographic systems based upon DPA
بواسطة: Al Bishry, Nabeel Hamad منشور: (2007)
