Title: Provable Security
            
                Lecture Notes in Computer Science  Security and Cryptology
Description: This book constitutes the refereed proceedings of the 7th International Conference on Provable Security, ProvSec 2013, held in Melaka, Malaysia, in October 2013. The 18 full papers presented together with 1 invited talk were carefully reviewed and selected from 44 submissions. The papers cover the following topics: key exchange protocols, security models, signature and signcryption schemes, authenticated encryption, theory, and public key encryption.
Subjects: Computer security, Operating systems (computers), Cryptography, Computer science, Data encryption (Computer science), Data protection, Information systems, Data Encryption, Systems and Data Security, Computers and Society, E-Commerce/e-business, Computer Appl. in Administrative Data Processing, Computer Science, general