Provable Security - Okamoto (Springer International Publishing, 2017)