Provable Security : 5th International Conference, ProvSec 2011, Xi'an, China, October 16-18, 2011. Proceedings - Xavier Boyen, Xiaofeng Chen ((Lecture Notes in Computer Science))