A One Round Protocol for Tripartite Diffie–Hellman
New explicit conditions of elliptic curve traces for FR-reduction