Infoscience
7th International Conference on Provable Security (ProvSec)
October 23-25, 2013
Melaka, Malaysia