Algorithm 2
. |
-
1:
Eavesdrop the authenticated message , where ,
-
2:
Call Reveal2 oracle. Let
-
3:
Eavesdrop the communicated message , ,
-
4:
Call Reveal2 oracle. Let
-
5:
If () then
-
6:
Accept as the session key among , and
-
7:
return 1
-
8:
else
-
9:
return 0
-
10:
end if
|