11.07.2014 Views

Identity-Based Encryption Protocols Using Bilinear Pairing

Identity-Based Encryption Protocols Using Bilinear Pairing

Identity-Based Encryption Protocols Using Bilinear Pairing

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

where ˜r = (r − αk<br />

F k<br />

). Also d 1 = − 1<br />

F k<br />

Y k +rP = − αk<br />

F k<br />

P +rP = ˜rP . For any j ∈ {1, . . . , m}\{k}<br />

we have<br />

˜rV j = (r − αk<br />

F k<br />

)(F j Y h−j+1 + J j P )<br />

= r(F j Y h−j+1 + J j P ) − 1 F k<br />

(F j Y h+k−j+1 + J j Y k ).<br />

For j < k, F j = 0, so B can compute all these ˜rV j s from what it has. It forms<br />

d 0 = d 0|k +<br />

∑<br />

j∈{1,...,m}\{k}<br />

˜rV j = αP 2 + ˜r<br />

m∑<br />

V j .<br />

To form a valid private key B also needs to compute ˜rP 3,j and ˜rQ j for m < j ≤ h. Now,<br />

)<br />

˜rP 3,j =<br />

(r − αk<br />

(c j P + v<br />

F<br />

jY ∗ h−j+1 )<br />

k<br />

j=1<br />

= r(c j P + v ∗ jY h−j+1 ) − 1 F k<br />

(<br />

cj Y k + v ∗ jY h+k−j+1<br />

)<br />

;<br />

For j ≤ u,<br />

)<br />

˜rQ j =<br />

(r − αk<br />

(β j P − Y h−j+1 ) = r(β j P − Y h−j+1 ) − 1 (β j Y k − Y h+k−j+1 )<br />

F k F k<br />

and for u < j ≤ h,<br />

)<br />

˜rQ j =<br />

(r − αk<br />

β j P = rβ j P − 1 β j Y k .<br />

F k F k<br />

All these values are computable from what is known to B. Hence, B forms the private key<br />

as:<br />

d v = (d 0 , d 1 , ˜rP 3,m+1 , . . . , ˜rP 3,h , ˜rQ m+1 , . . . , ˜rQ h )<br />

and provides it to A.<br />

Challenge: After completion of Phase 1, A outputs two messages M 0 , M 1 ∈ G 2 on which<br />

it wishes to be challenged and v + = v1, ∗ . . . , vu ∗ where ′ u′ ≤ u ≤ h. B picks a random b ∈ {0, 1}<br />

and provides A the challenge ciphertext<br />

(<br />

( u ′<br />

) )<br />

∑<br />

CT = M b × T × e(Y 1 , βQ), Q, (c j + β j vj)<br />

∗ × Q .<br />

Suppose, Q = γP for some unknown γ ∈ Z p . Then<br />

( u ′<br />

)<br />

(<br />

∑<br />

u ′<br />

)<br />

∑<br />

c j + β j vj<br />

∗ × Q = γ c j + β j vj<br />

∗ P<br />

j=1<br />

j=1<br />

114<br />

j=1

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!