Stav dette: Provable Security : 7th International Conference, ProvSec 2013, Melaka, Malaysia, October 23-25, 2013, Proceedings / Willy Susilo, Reza Reyhanitabar (eds.).