التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية
Other Title(s)
Verification of security protocols using formal methods
Joint Authors
قلاش، محمد
السالم، عبد الكريم
البدوية، عبد الرزاق
Source
مجلة جامعة تشرين للبحوث و الدراسات العلمية : سلسلة العلوم الهندسية
Issue
Vol. 39, Issue 3 (30 Jun. 2017), pp.490-507, 18 p.
Publisher
Publication Date
2017-06-30
Country of Publication
Syria
No. of Pages
18
Main Subjects
Engineering & Technology Sciences (Multidisciplinary)
American Psychological Association (APA)
قلاش، محمد والسالم، عبد الكريم والبدوية، عبد الرزاق. 2017. التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية. مجلة جامعة تشرين للبحوث و الدراسات العلمية : سلسلة العلوم الهندسية،مج. 39، ع. 3، ص ص. 490-507.
https://search.emarefa.net/detail/BIM-847521
Modern Language Association (MLA)
قلاش، محمد....[و آخرون]. التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية. مجلة جامعة تشرين للبحوث و الدراسات العلمية : سلسلة العلوم الهندسية مج. 39، ع. 3 (2017)، ص ص. 490-507.
https://search.emarefa.net/detail/BIM-847521
American Medical Association (AMA)
قلاش، محمد والسالم، عبد الكريم والبدوية، عبد الرزاق. التحقق من البروتوكولات الأمنية باستخدام الطرق الرسمية. مجلة جامعة تشرين للبحوث و الدراسات العلمية : سلسلة العلوم الهندسية. 2017. مج. 39، ع. 3، ص ص. 490-507.
https://search.emarefa.net/detail/BIM-847521
Data Type
Journal Articles
Language
Arabic
Notes
Record ID
BIM-847521