Provable security 7th international conference, ProvSec 2013, Melaka, Malaysia, October 23 - 25, 2013 ; proceedings (Springer, 2013)