Provable Security : Third International Conference, ProvSec 2009, Guangzhou, China, November 11-13, 2009. Proceedings - Josef Pieprzyk, Fangguo Zhang ((Lecture Notes in Computer Science))