Sherman SM Chow Provable Security - 2014 - Springer 2014 - Lecture Notes in Computer Science . ISBN: 9783319124759 Subjects--Topical Terms: Computer ScienceCryptology