Provable Security : 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013, Proceedings - Willy Susilo, Reza Reyhanitabar ((Lecture Notes in Computer Science))