Provable Security : 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012, Proceedings - Tsuyoshi Takagi, Guilin Wang, Zhiguang Qin, Shaoquan Jiang, Yong Yu ((Lecture Notes in Computer Science))