Liqun Chen, Jinguang Han Provable Security - Springer Springer 2016 ISBN: 9783319474229 Source: EBOOK