Tatsuaki Okamoto, Yong Yu, Man Ho Au, Yannan Li Provable Security - Springer Springer 2017 ISBN: 9783319686370 Source: EBOOK