Provable Security - Hutchison, David; Kanade, Takeo; Jiang, Shaoquan; Qin, Zhiguang; Wang, Guilin; Yu, Yong (Springer Berlin Heidelberg, 2012)