Provable Security - Liqun Chen, Jinguang Han (Springer, 2016)