Provable Security: Second International Conference, ProvSec 2008, Shanghai, China, October 30 – November 1, 2008. Proceedings Huawei Huang, Bo Yang, Shenglin Zhu, Guozhen Xiao (auth.), Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai (eds.) 3540887326,9783540887324