![](/images/graphics-bg.png)
التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية
العناوين الأخرى
Verification of security protocols using formal methods
المؤلفون المشاركون
قلاش، محمد
السالم، عبد الكريم
البدوية، عبد الرزاق
المصدر
مجلة جامعة تشرين للبحوث و الدراسات العلمية : سلسلة العلوم الهندسية
العدد
المجلد 39، العدد 3 (30 يونيو/حزيران 2017)، ص ص. 490-507، 18ص.
الناشر
تاريخ النشر
2017-06-30
دولة النشر
سوريا
عدد الصفحات
18
التخصصات الرئيسية
العلوم الهندسية والتكنولوجية (متداخلة التخصصات)
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
قلاش، محمد والسالم، عبد الكريم والبدوية، عبد الرزاق. 2017. التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية. مجلة جامعة تشرين للبحوث و الدراسات العلمية : سلسلة العلوم الهندسية،مج. 39، ع. 3، ص ص. 490-507.
https://search.emarefa.net/detail/BIM-847521
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
قلاش، محمد....[و آخرون]. التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية. مجلة جامعة تشرين للبحوث و الدراسات العلمية : سلسلة العلوم الهندسية مج. 39، ع. 3 (2017)، ص ص. 490-507.
https://search.emarefa.net/detail/BIM-847521
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
قلاش، محمد والسالم، عبد الكريم والبدوية، عبد الرزاق. التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية. مجلة جامعة تشرين للبحوث و الدراسات العلمية : سلسلة العلوم الهندسية. 2017. مج. 39، ع. 3، ص ص. 490-507.
https://search.emarefa.net/detail/BIM-847521
نوع البيانات
مقالات
لغة النص
العربية
الملاحظات
رقم السجل
BIM-847521
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)