مارك: 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
رابط المحتوى:	المستخلص من قاعدة المنظومة للرسائل الجامعية

LEADER	00911nam a22002177a 4500
001	0277920
040		\|a قاعدة المنظومة للرسائل الجامعية
041		\|a ara
100		\|9 8042 \|a Ahmed, Abd Albasit M. \|e Author.
245		\|a Verification of Cryptographic Protocols via Supercompilation
260		\|a Liverpool \|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 Super.
856		\|u http://search.mandumah.com/Record/600043 \|y المستخلص من قاعدة المنظومة للرسائل الجامعية
940		\|a تمت المناقشة
950		\|c 600043
995		\|a Thesis
999		\|c 185223 \|d 185223