Provable security second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings / - Baek, Joonsang. (Springer,)