Provable Security: 5Th International Conference, Provsec 2011, Xi’An, China, October 16 18, 2011. Proceedings 2011