Tsuyoshi Takagi, Guilin Wang, Zhiguang Qin, Shaoquan Jiang, Yong Yu Provable Security - Germany Springer 2012 ISBN: 978-3-642-33272-2 Subjects--Topical Terms: Computer ScienceProvable Security