Computationally Sound Analysis of Protocols Using Bilinear Pairings

Journal of Computer Security - Netherlands
doi 10.3233/jcs-2009-0388