A New Method to Analyze the Security of Protocol Implementations Based on Ideal Trace
المؤلفون المشاركون
Shi, Yuan
Zhang, Huanguo
Wu, Fusheng
Wang, Wengqing
Jia, Jianwei
المصدر
Security and Communication Networks
العدد
المجلد 2017، العدد 2017 (31 ديسمبر/كانون الأول 2017)، ص ص. 1-15، 15ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2017-10-18
دولة النشر
مصر
عدد الصفحات
15
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
The security analysis of protocols on theory level cannot guarantee the security of protocol implementations.
To solve this problem, researchers have done a lot, and many achievements have been reached in this field, such as model extraction and code generation.
However, the existing methods do not take the security of protocol implementations into account.
In this paper, we have proposed to exploit the traces of function return values to analyze the security of protocol implementations at the source code level.
Taking classic protocols into consideration, for example (like the Needham-Schroeder protocol and the Diffie-Hellman protocol, which cannot resist man-in-the-middle attacks), we have analyzed man-in-the-middle attacks during the protocol implementations and have carried out experiments.
It has been shown in the experiments that our new method works well.
Different from other methods of analyzing the security of protocol implementations in the literatures, our new method can avoid some flaws of program languages (like C language memory access, pointer analysis, etc.) and dynamically analyze the security of protocol implementations.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Wu, Fusheng& Zhang, Huanguo& Wang, Wengqing& Jia, Jianwei& Shi, Yuan. 2017. A New Method to Analyze the Security of Protocol Implementations Based on Ideal Trace. Security and Communication Networks،Vol. 2017, no. 2017, pp.1-15.
https://search.emarefa.net/detail/BIM-1203087
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Wu, Fusheng…[et al.]. A New Method to Analyze the Security of Protocol Implementations Based on Ideal Trace. Security and Communication Networks No. 2017 (2017), pp.1-15.
https://search.emarefa.net/detail/BIM-1203087
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Wu, Fusheng& Zhang, Huanguo& Wang, Wengqing& Jia, Jianwei& Shi, Yuan. A New Method to Analyze the Security of Protocol Implementations Based on Ideal Trace. Security and Communication Networks. 2017. Vol. 2017, no. 2017, pp.1-15.
https://search.emarefa.net/detail/BIM-1203087
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1203087
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر