Provable Security - Chow; Hui, Lucas C. K.; Liu, Joseph K.; Yiu, Siu Ming (Springer International Publishing, 2014)