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