Xavier Boyen, Xiaofeng Chen Provable Security - Germany Springer 2011 ISBN: 978-3-642-24316-5 Subjects--Topical Terms: Computer ScienceProvable Security