العنوان	formal correctness of security protocols
المؤلف	giampaolo bella
رقم التصنيف	5.5
نوع المصدر
المجال الموضوعي لقاعدة المعلومات	"الحواسيب،علم / الحاسبات الإلكترونية / نظم المعلومات"
الوصف
الكلمات المفتاحية

صلاح العميري