Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings - Baek, Joonsang; Bao, Feng; Chen, Kefei; Lai, Xuejia (Springer Berlin Heidelberg : Imprint: Springer, 2008)