Provable Security : Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings - Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai ((Lecture Notes in Computer Science))