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 صفحة الأولى الناشر لهذه المادة لم يسمح بإتاحتها.