Provable Security 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013, Proceedings Susilo Willy Heftet / 2013 / Engelsk
