Security enhancements by OR-proof in identity-based identification

Abstract

We investigate three security enhancement transformations, based on the well known OR-proof technique, in identity-based identification (IBI) protocols and show a required condition of the underlying IBI protocols. The transformations can convert an IBI protocol, which satisfies a property similar to the ∑-protocol and is secure against impersonation under passive attacks, to one secure against impersonation under concurrent attacks in both adaptive and weak selective identity attack models. In addition, we argue that enhancing the security in the static identity attack model with two of the transformations seem to be difficult; however, we prove that the other can convert an IBI protocol, which satisfies another property, in the model. © 2012 Springer-Verlag.