Provable Security - Chen (Springer International Publishing, 2016)