A formal framework for verifying IKA property of protocols
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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Elsevier
2019-07-01
|
| Series: | Journal of King Saud University: Computer and Information Sciences |
| Online Access: | http://www.sciencedirect.com/science/article/pii/S1319157816300866 |