Das Buch "Provable Security" dokumentiert die Proceedings der ersten Internationalen Konferenz zu diesem Thema, die vom 1. bis 2. November 2007 in Wollongong, Australien, stattfand. Herausgegeben von Willy Susilo, Joseph K. Liu und Yi Mu, bietet es einen umfassenden Überblick über aktuelle Forschungsergebnisse im Bereich der nachweisbaren Sicherheit in der Informatik. Mit 246 Seiten ist das Werk in englischer Sprache verfasst und richtet sich an Fachleute und Studierende, die sich mit den theoretischen und praktischen Aspekten der Sicherheit in Informationssystemen auseinandersetzen. Der kartonierte Einband sorgt für eine ansprechende und langlebige Präsentation des Inhalts. Die Konferenzbeiträge decken eine Vielzahl von Themen ab, die für die Entwicklung sicherer Systeme von Bedeutung sind, und bieten wertvolle Einblicke in die neuesten Trends und Technologien. Dieses Buch ist ein unverzichtbares Nachschlagewerk für alle, die sich mit den Herausforderungen und Lösungen im Bereich der Informationssicherheit beschäftigen.