Willy Susilo, Reza Reyhanitabar Provable Security - Germany Springer 2013 ISBN: 978-3-642-41227-1 Subjects--Topical Terms: Computer ScienceProvable Security