Lably
Skip to content

Cocks IBE scheme

Identity based encryption system

  • 2 min read
  • 3 chapters

Explore on Lably

ToursExplore Lably’s 3D tours

Protocol

Setup

The PKG chooses:

  1. a public RSA-modulus n=pq, where p,q,p≡q≡3mod4 are prime and kept secret,
  2. the message and the cipher space M={−1,1},C=Zn and
  3. a secure public hash function f:{0,1}∗→Zn.

Extract

When user ID wants to obtain his private key, he contacts the PKG through a secure channel. The PKG

  1. derives a with (an)=1 by a deterministic process from ID (e.g. multiple application of f),
  2. computes r=a(n+5−p−q)/8(modn) (which fulfils either r2=a(modn) or r2=−a(modn), see below) and
  3. transmits r to the user.

Encrypt

To encrypt a bit (coded as 1/−1) m∈M for ID, the user

  1. chooses random t1 with m=(t1n),
  2. chooses random t2 with m=(t2n), different from t1,
  3. computes c1=t1+at1−1(modn) and c2=t2−at2−1(modn) and
  4. sends s=(c1,c2) to the user.

Decrypt

To decrypt a ciphertext s=(c1,c2) for user ID, he

  1. computes α=c1+2r if r2=a or α=c2+2r otherwise, and
  2. computes m=(αn).

Note that here we are assuming that the encrypting entity does not know whether ID has the square root r of a or −a. In this case we have to send a ciphertext for both cases. As soon as this information is known to the encrypting entity, only one element needs to be sent.

Correctness

First note that since p≡q≡3(mod4) (i.e. (−1p)=(−1q)=−1) and (an)⇒(ap)=(aq), either a or −a is a quadratic residue modulo n.

Therefore, r is a square root of a or −a:

r2≡(a(n+5−p−q)/8)2modn≡(a(p∗q+4+1−p−q)/8)2modn≡(a((p−1)(q−1)+4)/8)2modn≡(a0.5∗a((p−1)(q−1))/8)2modn≡a∗a(p−1)/2∗a(q−1)/2modn≡{amodn|a is a quadratic residuemodn−amodn|−a is a quadratic residuemodn

Where the last step is the result of a combination of Euler's Criterion and the Chinese remainder theorem.

Moreover, (for the case that a is a quadratic residue, same idea holds for −a):

(s+2rn)=(t+at−1+2rn)=(t(1+at−2+2rt−1)n)=(t(1+r2t−2+2rt−1)n)=(t(1+rt−1)2n)=(tn)(1+rt−1n)2=(tn)(±1)2=(tn)


Sign in to keep reading

2 more chapters are free with a Lably account.

More in Computing and communication