You are about to access our book library "Provable Security: Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings (Lecture Notes in Computer Science Book 5324) full version" .