Toward proving the correctness of TCP protocol using CTL
المؤلف
المصدر
The International Arab Journal of Information Technology
العدد
المجلد 16، العدد 4 (31 يوليو/تموز 2019)9ص.
الناشر
تاريخ النشر
2019-07-31
دولة النشر
الأردن
عدد الصفحات
9
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
الموضوعات
الملخص EN
The use of the Internet requires two types of application programs.
One is running in the first endpoint of the network connection and requesting services, via application programs, is called the client.
The other, that provides the services, is called the server.
These application programs that are in client and server communicate with each other under some system rules to exchange the services.
In this research, we shall try to model the system rules of communications that are called protocol using model checker.
The model checker represents the states of the clients, servers and system rules (protocol) as a Finite State Machine (FSM).
The correctness conditions of the protocol are encoded into temporal logics formulae Computational Tree Logic (CTL).
Then, Model checker interprets these temporal formulae over the FSM to check whether the correctness conditions are satisfied or not.
Moreover, the introduced model of the protocol, in this paper, is modelling the concurrent synchronized clients and servers to be iterated infinite often.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
al-Shurman, Rafat. 2019. Toward proving the correctness of TCP protocol using CTL. The International Arab Journal of Information Technology،Vol. 16, no. 4.
https://search.emarefa.net/detail/BIM-855023
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
al-Shurman, Rafat. Toward proving the correctness of TCP protocol using CTL. The International Arab Journal of Information Technology Vol. 16, no. 4 (Jul. 2019).
https://search.emarefa.net/detail/BIM-855023
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
al-Shurman, Rafat. Toward proving the correctness of TCP protocol using CTL. The International Arab Journal of Information Technology. 2019. Vol. 16, no. 4.
https://search.emarefa.net/detail/BIM-855023
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes appendices
رقم السجل
BIM-855023
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر