Provable Security 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013. Proceedings - Susilo, Willy; Reyhanitabar, Reza (Springer Berlin Heidelberg : Imprint: Springer, 2013)