![](/images/graphics-bg.png)
A Novel Algorithm for Intrusion Detection Based on RASL Model Checking
المؤلفون المشاركون
Zhu, Weijun
Zhou, Qinglei
Yang, Weidong
Zhang, Haibin
المصدر
Mathematical Problems in Engineering
العدد
المجلد 2013، العدد 2013 (31 ديسمبر/كانون الأول 2013)، ص ص. 1-10، 10ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2013-03-30
دولة النشر
مصر
عدد الصفحات
10
التخصصات الرئيسية
الملخص EN
The interval temporal logic (ITL) model checking (MC) technique enhances the power of intrusion detection systems (IDSs) to detect concurrent attacks due to the strong expressive power of ITL.
However, an ITL formula suffers from difficulty in the description of the time constraints between different actions in the same attack.
To address this problem, we formalize a novel real-time interval temporal logic—real-time attack signature logic (RASL).
Based on such a new logic, we put forward a RASL model checking algorithm.
Furthermore, we use RASL formulas to describe attack signatures and employ discrete timed automata to create an audit log.
As a result, RASL model checking algorithm can be used to automatically verify whether the automata satisfy the formulas, that is, whether the audit log coincides with the attack signatures.
The simulation experiments show that the new approach effectively enhances the detection power of the MC-based intrusion detection methods for a number of telnet attacks, p-trace attacks, and the other sixteen types of attacks.
And these experiments indicate that the new algorithm can find several types of real-time attacks, whereas the existing MC-based intrusion detection approaches cannot do that.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Zhu, Weijun& Zhou, Qinglei& Yang, Weidong& Zhang, Haibin. 2013. A Novel Algorithm for Intrusion Detection Based on RASL Model Checking. Mathematical Problems in Engineering،Vol. 2013, no. 2013, pp.1-10.
https://search.emarefa.net/detail/BIM-1010120
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Zhu, Weijun…[et al.]. A Novel Algorithm for Intrusion Detection Based on RASL Model Checking. Mathematical Problems in Engineering No. 2013 (2013), pp.1-10.
https://search.emarefa.net/detail/BIM-1010120
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Zhu, Weijun& Zhou, Qinglei& Yang, Weidong& Zhang, Haibin. A Novel Algorithm for Intrusion Detection Based on RASL Model Checking. Mathematical Problems in Engineering. 2013. Vol. 2013, no. 2013, pp.1-10.
https://search.emarefa.net/detail/BIM-1010120
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1010120
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)