Provable Security - Heng, Swee-Huay; Kanade, Takeo; Kurosawa, Kaoru; Kittler, Josef (Springer Berlin Heidelberg, 2010)