Provable Security 5th International Conference, ProvSec 2011, Xi'an, China, October 16-18, 2011. Proceedings Boyen Xavier Heftet / 2011 / Engelsk
