Provable Security - Au; Miyaji, Atsuko (Springer International Publishing, 2015)