Provable Security - Okamoto; Au, Man Ho; Li, Yannan; Yu, Yong (Springer International Publishing, 2017)