Provable Security Second International Conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Baek, Joonsang (Editor), Bao, Feng (Editor), Chen, Kefei (Editor), Lai, Xuejia (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
• Series: Lecture Notes in Computer Science, 5324
• Subjects: Computer science.; Computer security.; Data encryption (Computer science).; Coding theory.; Computers.; Mathematical logic.; Computer science > Mathematics.; Computer Science.; Data Encryption.; Mathematics of Computing.; Systems and Data Security.; Coding and Information Theory.; Theory of Computation.; Mathematical Logic and Formal Languages.

This book constitutes the refereed proceedings of the Second International Conference on Provable Security, ProvSec 2008, held in Shanghai, China, October 30 - November 1, 2008. The 25 revised full papers presented were carefully reviewed and selected from 79 submissions. The papers are organized in...