Provable and Practical Security - Joseph K. Liu; Chen, Liqun; Liu, Xiaoning; Sun, Shi-Feng (Springer Nature Singapore, 2025)