Chunpeng Ge, Fuchun Guo Provable and Practical Security - Springer Springer 2022 ISBN: 9783031209178 Source: EBOOK