Provable Security 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings - Takagi, Tsuyoshi; Wang, Guilin; Qin, Zhiguang; Jiang, Shaoquan; Yu, Yong (Springer Berlin Heidelberg : Imprint: Springer, 2012)