Provable Security 5th International Conference, ProvSec 2011, Xi’an, China, October 16-18, 2011. Proceedings - Boyen, Xavier; Chen, Xiaofeng (Springer Berlin Heidelberg : Imprint: Springer, 2011)