Verification of Cryptographic Protocols via Supercompilation
| المؤلف الرئيسي: | Ahmed, Abd Albasit M. |
|---|---|
| مؤلفين آخرين: | Lisitsa, Alexei (Super.) |
| التاريخ الميلادي: |
2008
|
| موقع: | Liverpool |
| الصفحات: | 1 - 65 |
| رقم MD: | 600043 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | العربية |
| الدرجة العلمية | رسالة ماجستير |
| الجامعة | University of Liverpool |
| الكلية | Faculty of Science and Engineering |
| الدولة | بريطانيا |
| المصدر: | قاعدة المنظومة للرسائل الجامعية |
| الحالة | تمت المناقشة |
| قواعد المعلومات: | Thesis |
| رابط المحتوى: |
| الوصف المادي: |
1 - 65 |
|---|
عناصر مشابهة
-
Enhancing End User Security-Attacks & Solutions
بواسطة: Al Saed, Adil M. منشور: (2006) -
Design and Evaluate a Fair Exchange Protocol Based on Online Trusted Third Party (TTP)
بواسطة: Al Otaibi, Abd Allah Shawan منشور: (2012) -
ANIMATING CRYPTOGRAPHIC PRIMITIVES
بواسطة: Arbaaeen, Ammar منشور: (2012) -
ANIMATING CRYPTOGRAPHIC PRIMITIVES
بواسطة: Al Deeb, Yousef. M منشور: (2011) -
Implementation of Enciphering Transformations Using One Key or Two Keys into Cryptographic Systems
بواسطة: Al Shamayleh, Basil Taha منشور: (2007)