![](/images/graphics-bg.png)
From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT
المؤلفون المشاركون
Chen, Tieming
Yu, Zhenbo
Li, Shijian
Chen, Bo
المصدر
العدد
المجلد 2016، العدد 2016 (31 ديسمبر/كانون الأول 2016)، ص ص. 1-11، 11ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2015-12-09
دولة النشر
مصر
عدد الصفحات
11
التخصصات الرئيسية
الملخص EN
Model checking has successfully been applied on verification of security protocols, but the modeling process is always tedious and proficient knowledge of formal method is also needed although the final verification could be automatic depending on specific tools.
At the same time, due to the appearance of novel kind of networks, such as wireless sensor networks (WSN) and wireless body area networks (WBAN), formal modeling and verification for these domain-specific systems are quite challenging.
In this paper, a specific and novel formal modeling and verification method is proposed and implemented using an expandable tool called PAT to do WSN-specific security verification.
At first, an abstract modeling data structure for CSP#, which is built in PAT, is developed to support the node mobility related specification for modeling location-based node activity.
Then, the traditional Dolev-Yao model is redefined to facilitate modeling of location-specific attack behaviors on security mechanism.
A throughout formal verification application on a location-based security protocol in WSN is described in detail to show the usability and effectiveness of the proposed methodology.
Furthermore, also a novel location-based authentication security protocol in WBAN can be successfully modeled and verified directly using our method, which is, to the best of our knowledge, the first effort on employing model checking for automatic analysis of authentication protocol for WBAN.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Chen, Tieming& Yu, Zhenbo& Li, Shijian& Chen, Bo. 2015. From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT. Journal of Sensors،Vol. 2016, no. 2016, pp.1-11.
https://search.emarefa.net/detail/BIM-1110666
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Chen, Tieming…[et al.]. From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT. Journal of Sensors No. 2016 (2016), pp.1-11.
https://search.emarefa.net/detail/BIM-1110666
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Chen, Tieming& Yu, Zhenbo& Li, Shijian& Chen, Bo. From Wireless Sensor Networks to Wireless Body Area Networks: Formal Modeling and Verification on Security Using PAT. Journal of Sensors. 2015. Vol. 2016, no. 2016, pp.1-11.
https://search.emarefa.net/detail/BIM-1110666
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1110666
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)