Lecture Notes in Computer Science

This book constitutes the refereed proceedings of the 5th Provable Security Conference held in in Xi''an, China, in October 2011. The 22 full papers presented together with 4 short papers and 2 invited talks were carefully reviewed and selected from 75 submissions. The papers are divided in topical sections on cryptographic primitives; encryption; cryptographic protocols; security models and framework; and key agreement.