يجب تسجيل الدخول أولا
A Formal Framework For Verifying IKA Property Of Protocols
| المصدر: | مجلة جامعة الملك سعود - علوم الحاسب والمعلومات |
|---|---|
| الناشر: | جامعة الملك سعود |
| المؤلف الرئيسي: | Joy, Shyam P. (Author) |
| مؤلفين آخرين: | Chandran, Priya (Co-Author) |
| المجلد/العدد: | مج31, ع3 |
| محكمة: | نعم |
| الدولة: |
السعودية |
| التاريخ الميلادي: |
2019
|
| الصفحات: | 318 - 326 |
| DOI: |
10.33948/0584-031-003-005 |
| ISSN: |
1319-1578 |
| رقم MD: | 974668 |
| نوع المحتوى: | بحوث ومقالات |
| اللغة: | الإنجليزية |
| قواعد المعلومات: | science |
| مواضيع: | |
| كلمات المؤلف المفتاحية: |
Group Key Agreement Protocols | Implicit Key Authentication | Strand Spaces | Formal Framework
|
| رابط المحتوى: |
| المستخلص: |
A group key agreement (GKA) protocol generates a secret key (session key) shared among the members of the group, from the contributions made by group members. GKA protocols are expected to satisfy the property of Implicit Key Authentication (IKA) which assures group members that the key generated by the protocol is not accessible to any member outside the group. In this article, we propose a technique to prove the correctness of GKA protocols with respect to IKA. We establish the soundness of our proposal and also illustrate its application. Normally IKA property of protocols is established by proving that the protocol satisfies authentication of participants and secrecy of the session keys. Most formal models would be able to analyze a GKA protocol with respect to IKA, using the above approach. However analysis of two security properties, namely authentication and secrecy, would increase the chances of errors. We propose a single condition for verifying whether the GKA protocol satisfies IKA. © 2017 The Authors. Production and hosting by Elsevier B.V. on behalf of King Saud University. This is an open access article under the CC BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/). |
|---|---|
| ISSN: |
1319-1578 |
عناصر مشابهة
-
Modular Squaring Algorithms Suitable for Hardware Implementation in Gf(P)
بواسطة: Swedan, Saed Fuad منشور: (2008) -
Comparative Analysis Of Different AES Implementation Techniques For Efficient Resource Usage And Better Performance Of An FPGA
بواسطة: Farooq, Umer منشور: (2017) -
A New Approach for Encryption Using Radix Modular
بواسطة: Abdual Rahman, Saad Abdual Azize منشور: (2022) -
Evaluating the Effect of Packet size on the Performance of Cryptographic Algorithms in TCP/IP Networks
بواسطة: الأزرق، ابراهيم مفتاح ابراهيم منشور: (2007) -
Modified AES Algorithm Based on a New Chaotic System
بواسطة: مهدي، صادق عبدالعزيز منشور: (2018)
