Formal to Practical Security, Fachbücher von Claude Kirchner, Véronique Cortier, Hideki Sakurada, Mitsuhiro Okada

"Formal to Practical Security" ist ein Fachbuch, das sich mit den sicherheitstechnischen Herausforderungen auseinandersetzt, die durch die globale Digitalisierung unserer Gesellschaft entstehen. Es beleuchtet die weitreichenden Auswirkungen auf verschiedene gesellschaftliche Bereiche, darunter Datenschutz, Wirtschaft, Umweltpolitik und nationale Souveränität. Das Buch hebt die Notwendigkeit der interdisziplinären Zusammenarbeit zwischen Informatik und anderen Wissenschaften hervor, um diese komplexen Probleme zu lösen. Insbesondere wird die Bedeutung der Brücke zwischen formalen Theorien und praktischen Anwendungen betont. Die Publikation ist das Ergebnis einer erfolgreichen französisch-japanischen Zusammenarbeit, die 2005 ins Leben gerufen wurde und mehrere Workshops zur Computersicherheit umfasste. Die gesammelten Beiträge bieten wertvolle Einblicke in die Entwicklungen und Herausforderungen im Bereich der Computersicherheit und richten sich an Fachleute und Interessierte, die sich mit diesen Themen auseinandersetzen möchten.