![](/images/graphics-bg.png)
Logic-Based Security Architecture for Systems Providing Multihop Communication
المؤلفون المشاركون
al-Banna, Eman
Almomani, Iman
al-Akhras, Mousa
المصدر
International Journal of Distributed Sensor Networks
العدد
المجلد 2013، العدد - (31 ديسمبر/كانون الأول 2013)، ص ص. 1-17، 17ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2013-01-22
دولة النشر
مصر
عدد الصفحات
17
التخصصات الرئيسية
هندسة الاتصالات
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
Security is a basic element of distributed systems such as ad hoc and sensor communication networks.
Several standards define security requirements and enforcers, such as ITU-T Recommendations X.800 and X.805.
It is essential to specify and analyze protocols to know which security requirements they achieve.
This paper presents a logic-based security architecture (LBSA).
LBSA is a systematic way to test if a protocol is secure by checking what security requirements are achieved.
Different rules, actions, and sets which fit into the proposed LBSA are included, new ones are also added to complete the architecture.
The key advantage of LBSA is that it enables a security protocol to prove its correctness mathematically.
Mathematical proofs provided by LBSA cover more cases that usually cannot be covered exhaustively by simulation tools.
This paper also specifies and analyzes several security enforcers and protocols and mathematically proves which security requirements they achieve.
Mapping between security requirements and inference rules/actions is also provided to facilitate the use of LBSA.
Some enforcers are analyzed using LBSA to demonstrate how they achieve security requirements.
Finally, we take Ariadne protocol as a case study and show how to use the proposed LBSA architecture to prove that this protocol is secure.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Almomani, Iman& al-Banna, Eman& al-Akhras, Mousa. 2013. Logic-Based Security Architecture for Systems Providing Multihop Communication. International Journal of Distributed Sensor Networks،Vol. 2013, no. -, pp.1-17.
https://search.emarefa.net/detail/BIM-497249
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Almomani, Iman…[et al.]. Logic-Based Security Architecture for Systems Providing Multihop Communication. International Journal of Distributed Sensor Networks Vol. 2013, pp.1-17.
https://search.emarefa.net/detail/BIM-497249
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Almomani, Iman& al-Banna, Eman& al-Akhras, Mousa. Logic-Based Security Architecture for Systems Providing Multihop Communication. International Journal of Distributed Sensor Networks. 2013. Vol. 2013, no. -, pp.1-17.
https://search.emarefa.net/detail/BIM-497249
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-497249
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)