The book "Provable Security" documents the proceedings of the first International Conference on this topic, which took place from November 1 to 2, 2007, in Wollongong, Australia. Edited by Willy Susilo, Joseph K. Liu, and Yi Mu, it provides a comprehensive overview of current research findings in the field of provable security in computer science. With 246 pages, the work is written in English and is aimed at professionals and students who are engaged with the theoretical and practical aspects of security in information systems. The paperback cover ensures an appealing and durable presentation of the content. The conference contributions cover a wide range of topics relevant to the development of secure systems and offer valuable insights into the latest trends and technologies. This book is an essential reference for anyone dealing with the challenges and solutions in the field of information security.