Provable Security 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings - Heng, Swee-Huay (Springer Berlin Heidelberg, 2010)