Joonsang Baek, Feng Bao, Kefei Chen, Xuejia Lai Provable Security - Germany Springer 2008 ISBN: 978-3-540-88733-1 Subjects--Topical Terms: Computer ScienceProvable Security