| LEADER |
03389nam a2200337 4500 |
| 001 |
1527321 |
| 041 |
|
|
|a eng
|
| 100 |
|
|
|9 604390
|a العمري، أحمد محمود محمد
|e مؤلف
|
| 245 |
|
|
|a Toward Proving the Correctness Conditions of the Three-Way Handshake Protocol Using Temporal Logic
|
| 246 |
|
|
|a إثبات شروط الصحة لبروتكول المصافحة الثلاثية باستخدام المنطق المؤقت
|
| 260 |
|
|
|a إربد
|c 2020
|
| 300 |
|
|
|a 1 - 115
|
| 336 |
|
|
|a رسائل جامعية
|
| 502 |
|
|
|b رسالة ماجستير
|c جامعة اليرموك
|f كلية تكنولوجيا المعلومات وعلوم الحاسوب
|g الاردن
|o 0096
|
| 520 |
|
|
|a بروتوكول المصافحة الثلاثة يستخدم على نطاق واسع وخاصة كجزء من أنظمة الاتصالات والأمن المعقدة. يتم استخدام هذا البروتكول لإنشاء اتصال بين عميل (الجهاز الذي يطلب الاتصال) وخادم معين (الجهاز الذي يوفر الاتصال) تحت قواعد وقيود معينة. في هذا البحث سنستخدم تقنيات فحص النماذج الآلية والمنطق المؤقت للتحقق من صحة بروتوكول المصافحة الثلاثية تحت شروط وخصائص صحة معينة. تم نمذجة بروتوكول المصافحة الثلاثية وتحويلة إلى نموذج الحالة المحدودة باستخدام فاحص النماذج، وتم برمجة وتحويل شروط الصحة إلى صيغ مكتوبة بمنطق الشجرة الحسابية وبالتالي سيقوم فاحص النماذج بالتحقق تلقائيا من صحة نموذج الحالة المحدودة وتفسيره عبر شروط الصحة للتحقق مما إذا كان البروتوكل يحقق هذه الشروط أو إنه غير قادر على تحقيقها. أظهرت نتائج التحقق أن بروتكول المصافحة الثلاثة قد استوفى كل شروط الصحة باستثناء شروط الصحة 9، 11، 12، لذلك أنتج فاحص النماذج أمثلة مضادة أظهرت الأخطاء الموجودة في البرتكول. يهدف نهج التحقق الآلي المقترح إلى إثبات صحة عدد محدود من العملاء كل منهم يطلب الخادم لتزويده بالاتصال بشكل لانهائي.
|
| 653 |
|
|
|a المصافحة الثلاثية
|a الشجرة الحسابية
|a المنطق الزمني
|
| 700 |
|
|
|a الشرمان، رأفت موسى
|g Al Shorman, Rafat M.
|e مشرف
|9 126454
|
| 856 |
|
|
|u 9802-003-012-0096-T.pdf
|y صفحة العنوان
|
| 856 |
|
|
|u 9802-003-012-0096-A.pdf
|y المستخلص
|
| 856 |
|
|
|u 9802-003-012-0096-C.pdf
|y قائمة المحتويات
|
| 856 |
|
|
|u 9802-003-012-0096-F.pdf
|y 24 صفحة الأولى
|
| 856 |
|
|
|u 9802-003-012-0096-1.pdf
|y 1 الفصل
|
| 856 |
|
|
|u 9802-003-012-0096-2.pdf
|y 2 الفصل
|
| 856 |
|
|
|u 9802-003-012-0096-3.pdf
|y 3 الفصل
|
| 856 |
|
|
|u 9802-003-012-0096-4.pdf
|y 4 الفصل
|
| 856 |
|
|
|u 9802-003-012-0096-5.pdf
|y 5 الفصل
|
| 856 |
|
|
|u 9802-003-012-0096-6.pdf
|y 6 الفصل
|
| 856 |
|
|
|u 9802-003-012-0096-R.pdf
|y المصادر والمراجع
|
| 930 |
|
|
|d y
|
| 995 |
|
|
|a Dissertations
|
| 999 |
|
|
|c 1125371
|d 1125371
|
