GDL

Journal from gdlhub / 2019-09-19 11:19:43
Oleh : Shyam P. Joy, Priya Chandran, King Saud University
Dibuat : 2019-09-19, dengan 1 file

Keyword : Group Key Agreement Protocols, Implicit Key Authentication, Strand Spaces, Formal Framework
Url : http://www.sciencedirect.com/science/article/pii/S1319157816300866
Sumber pengambilan dokumen : WEB

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.

Beri Komentar ?#(0) | Bookmark

Properti	Nilai Properti
ID Publisher	gdlhub
Organisasi	King Saud University
Nama Kontak	Herti Yani, S.Kom
Alamat	Jln. Jenderal Sudirman
Kota	Jambi
Daerah	Jambi
Negara	Indonesia
Telepon	0741-35095
Fax	0741-35093
E-mail Administrator	elibrarystikom@gmail.com
E-mail CKO	elibrarystikom@gmail.com