Verification of Cryptographic Protocols via Supercompilation

المؤلف الرئيسي:	Ahmed, Abd Albasit M. (Author)
مؤلفين آخرين:	Lisitsa, Alexei (Advisor)
التاريخ الميلادي:	2008
موقع:	ليفربول
الصفحات:	1 - 65
رقم MD:	600043
نوع المحتوى:	رسائل جامعية
اللغة:	الإنجليزية
الدرجة العلمية:	رسالة ماجستير
الجامعة:	University of Liverpool
الكلية:	Faculty of Science and Engineering
الدولة:	بريطانيا
قواعد المعلومات:	+Dissertations
مواضيع:	هندسة الحاسبات \| البروتوكولات \| أمن المعلومات \| التشفير
رابط المحتوى:	صفحة العنوان المستخلص قائمة المحتويات 24 صفحة الأولى الناشر لهذه المادة لم يسمح بإتاحتها.

LEADER	01322nam a22003137a 4500
001	0277920
041		\|a eng
100		\|9 8042 \|a Ahmed, Abd Albasit M. \|e Author
245		\|a Verification of Cryptographic Protocols via Supercompilation
260		\|a ليفربول \|c 2008
300		\|a 1 - 65
336		\|a رسائل جامعية
502		\|b رسالة ماجستير \|c University of Liverpool \|f Faculty of Science and Engineering \|g بريطانيا \|o 0003
653		\|a هندسة الحاسبات \|a البروتوكولات \|a أمن المعلومات \|a التشفير
700		\|9 38318 \|a Lisitsa, Alexei \|e Advisor
856		\|u 9823-050-001-0003-T.pdf \|y صفحة العنوان
856		\|u 9823-050-001-0003-A.pdf \|y المستخلص
856		\|u 9823-050-001-0003-C.pdf \|y قائمة المحتويات
856		\|u 9823-050-001-0003-F.pdf \|y 24 صفحة الأولى
856		\|u 9823-050-001-0003-1.pdf \|y 1 الفصل
856		\|u 9823-050-001-0003-2.pdf \|y 2 الفصل
856		\|u 9823-050-001-0003-3.pdf \|y 3 الفصل
856		\|u 9823-050-001-0003-4.pdf \|y 4 الفصل
856		\|u 9823-050-001-0003-5.pdf \|y 5 الفصل
856		\|u 9823-050-001-0003-R.pdf \|y المصادر والمراجع
856		\|u 9823-050-001-0003-S.pdf \|y الملاحق
930		\|d n
995		\|a +Dissertations
999		\|c 600043 \|d 600043