Provable Security : 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010, Proceedings - Swee-Huay Heng, Kaoru Kurosawa ((Lecture Notes in Computer Science))