Qiong Huang, Yu Yu Provable and Practical Security - Springer Springer 2021 ISBN: 9783030904029 Source: EBOOK