Abstract | ||
---|---|---|
We introduce the first deniable attribute-based key exchange (DABKE) framework that is resilient to impersonation attacks. We define the formal security models for DABKE framework, and propose a generic compiler that converts any attribute-based key exchanges into deniable ones. We prove that it can achieve session key security and user privacy in the standard model, and strong deniability in the simulation-based paradigm. In particular, the proposed generic compiler ensures: 1) a dishonest user cannot impersonate other user's session participation in conversations since implicit authentication is used among authorized users; 2) an authorized user can plausibly deny his/her participation after secure conversations with others; 3) the strongest form of deniability is achieved using one-round communication between two authorized users. |
Year | DOI | Venue |
---|---|---|
2019 | 10.3233/JCS-181201 | JOURNAL OF COMPUTER SECURITY |
Keywords | Field | DocType |
Attribute-based key exchange,impersonation attacks,strong deniability,generic compiler | Authentication,Key exchange,Computer science,Computer security,Theoretical computer science,Compiler,Impersonation attack,User privacy,Session key,Computer security model | Journal |
Volume | Issue | ISSN |
27 | 2 | 0926-227X |
Citations | PageRank | References |
0 | 0.34 | 26 |
Authors | ||
7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yangguang Tian | 1 | 11 | 3.92 |
Yingjiu Li | 2 | 18 | 4.64 |
Guomin Yang | 3 | 1033 | 78.55 |
Willy Susilo | 4 | 4823 | 353.18 |
Yi Mu | 5 | 2884 | 239.05 |
Hui Cui | 6 | 54 | 10.32 |
Yinghui Zhang | 7 | 468 | 28.80 |