Identity-Based Encryption Protocols Using Bilinear Pairing
Identity-Based Encryption Protocols Using Bilinear Pairing
Identity-Based Encryption Protocols Using Bilinear Pairing
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