Publication Type

Journal Article

Version

acceptedVersion

Publication Date

1-2019

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.

Keywords

Attribute-based Key Exchange, Impersonation Attacks, Strong Deniability, Generic Compiler

Discipline

Information Security

Research Areas

Cybersecurity

Publication

Journal of Computer Security

Volume

27

Issue

2

First Page

259

Last Page

275

ISSN

0926-227X

Identifier

10.3233/JCS-181201

Publisher

IOS Press

Copyright Owner and License

Authors

Additional URL

https://doi.org/10.3233/JCS-181201

Share

COinS