Open AccessPrivacy‐preserving grouping proof with key exchange in the multiple‐party setting
Author(s) -
Tian Yangguang,
Yang Guomin,
Mu Yi
Publication year - 2016
Publication title -
security and communication networks
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.446
H-Index - 43
eISSN - 1939-0122
pISSN - 1939-0114
DOI - 10.1002/sec.1529
Subject(s) - computer science , key (lock) , computer security , key exchange , internet privacy , proof of concept , public key cryptography , encryption , operating system
Abstract Grouping proof is a very useful security primitive that can be used to prove the co‐existence of multiple entities in an identification protocol. It can be incorporated into radio frequency identification protocols and used in many practical applications such as pharmaceutical distribution and manufacturing. However, the existing grouping proofs do not support secure key establishment, which is required in order to allow secure communication between the reader and the radio frequency identification tags after the identification process. In this paper, we propose a novel grouping proof with key exchange that allows the reader to establish a secure communication channel with the tags. We define the formal security models for grouping proof with key exchange and prove that the proposed generic protocol can achieve grouping proof soundness, session key security, contributiveness, and tag identity privacy. Copyright © 2016 John Wiley & Sons, Ltd.