A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction
المؤلفون المشاركون
Filali, Rajaa
Bouhdadi, Mohamed
المصدر
Journal of Computer Networks and Communications
العدد
المجلد 2014، العدد 2014 (31 ديسمبر/كانون الأول 2014)، ص ص. 1-11، 11ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2014-11-19
دولة النشر
مصر
عدد الصفحات
11
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الملخص EN
The Session Initiation Protocol (SIP) is an application layer signaling protocol used to create, manage, and terminate sessions in an IP based network.
SIP is considered as a transactional protocol.
There are two main SIP transactions, the INVITE transaction and the non-INVITE transaction.
The SIP INVITE transaction specification is described in an informal way in Request for Comments (RFC) 3261 and modified in RFC 6026.
In this paper we focus on the INVITE transaction of SIP, over reliable and unreliable transport mediums, which is used to initiate a session.
In order to ensure the correctness of SIP, the INVITE transaction is modeled and verified using event-B method and its Rodin platform.
The Event-B refinement concept allows an incremental development by defining the studied system at different levels of abstraction, and Rodin discharges almost all proof obligations at each level.
This interaction between modeling and proving reduces the complexity and helps in assuring that the INVITE transaction SIP specification is correct, unambiguous, and easy to understand.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Filali, Rajaa& Bouhdadi, Mohamed. 2014. A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction. Journal of Computer Networks and Communications،Vol. 2014, no. 2014, pp.1-11.
https://search.emarefa.net/detail/BIM-1040157
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Filali, Rajaa& Bouhdadi, Mohamed. A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction. Journal of Computer Networks and Communications No. 2014 (2014), pp.1-11.
https://search.emarefa.net/detail/BIM-1040157
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Filali, Rajaa& Bouhdadi, Mohamed. A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction. Journal of Computer Networks and Communications. 2014. Vol. 2014, no. 2014, pp.1-11.
https://search.emarefa.net/detail/BIM-1040157
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-1040157
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر