Provable Security Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings - Pieprzyk, Josef; Zhang, Fangguo (Springer Berlin Heidelberg, 2009)