Provable security 4th international conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings - Heng, Swee-Huay; Kurosawa, Kaoru (Lecture Notes in Computer Science,, 2010)