Improved Spi-Calculus for Reasoning on Cryptographic Protocols
| العنوان بلغة أخرى: |
لغة ال Spi الرياضية محسنة لتحليل بروتوكولات التشفير |
|---|---|
| المؤلف الرئيسي: | بني هاني، صالح منصور (مؤلف) |
| المؤلف الرئيسي (الإنجليزية): | Bani Hani, Saleh Mansour |
| مؤلفين آخرين: | الرفاعي، حسن (مشرف) , معوش، مراد (مشرف) |
| التاريخ الميلادي: |
2012
|
| موقع: | البلقاء |
| الصفحات: | 1 - 73 |
| رقم MD: | 1465650 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | الإنجليزية |
| الدرجة العلمية: | رسالة ماجستير |
| الجامعة: | جامعة فيلادلفيا |
| الكلية: | عمادة البحث العلمي والدراسات العليا |
| الدولة: | الاردن |
| قواعد المعلومات: | Dissertations |
| مواضيع: | |
| رابط المحتوى: |
| LEADER | 01659nam a22003377a 4500 | ||
|---|---|---|---|
| 001 | 1570430 | ||
| 041 | |a eng | ||
| 100 | |9 776818 |a بني هاني، صالح منصور |e مؤلف |g Bani Hani, Saleh Mansour | ||
| 245 | |a Improved Spi-Calculus for Reasoning on Cryptographic Protocols | ||
| 246 | |a لغة ال Spi الرياضية محسنة لتحليل بروتوكولات التشفير | ||
| 260 | |a البلقاء |c 2012 | ||
| 300 | |a 1 - 73 | ||
| 336 | |a رسائل جامعية | ||
| 502 | |b رسالة ماجستير |c جامعة فيلادلفيا |f عمادة البحث العلمي والدراسات العليا |g الاردن |o 0118 | ||
| 653 | |a التشفير التطبيقي |a بروتوكولات التشفير |a المعلومات السرية |a حساب التفاضل والتكامل | ||
| 700 | |9 776519 |a الرفاعي، حسن |e مشرف |g Al-Refai, Hasan | ||
| 700 | |a معوش، مراد |g Maouche, Mourad |e مشرف |9 776822 | ||
| 856 | |u 9802-032-001-0118-T.pdf |y صفحة العنوان | ||
| 856 | |u 9802-032-001-0118-A.pdf |y المستخلص | ||
| 856 | |u 9802-032-001-0118-C.pdf |y قائمة المحتويات | ||
| 856 | |u 9802-032-001-0118-F.pdf |y 24 صفحة الأولى | ||
| 856 | |u 9802-032-001-0118-1.pdf |y 1 الفصل | ||
| 856 | |u 9802-032-001-0118-2.pdf |y 2 الفصل | ||
| 856 | |u 9802-032-001-0118-3.pdf |y 3 الفصل | ||
| 856 | |u 9802-032-001-0118-4.pdf |y 4 الفصل | ||
| 856 | |u 9802-032-001-0118-5.pdf |y 5 الفصل | ||
| 856 | |u 9802-032-001-0118-R.pdf |y المصادر والمراجع | ||
| 856 | |u 9802-032-001-0118-S.pdf |y الملاحق | ||
| 930 | |d y | ||
| 995 | |a Dissertations | ||
| 999 | |c 1465650 |d 1465650 | ||
عناصر مشابهة
-
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)
