KIT | KIT-Bibliothek | Impressum

On Provable Security for Complex Systems

Achenbach, Dirk

Abstract: We investigate the contribution of cryptographic proofs of security to a systematic security engineering process. To this end we study how to model and prove security for concrete applications in three practical domains: computer networks, data outsourcing, and electronic voting. We conclude that cryptographic proofs of security can benefit a security engineering process in formulating requirements, influencing design, and identifying constraints for the implementation.


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Hochschulschrift
Jahr 2016
Sprache Englisch
Identifikator DOI(KIT): 10.5445/IR/1000052204
URN: urn:nbn:de:swb:90-522047
KITopen ID: 1000052204
Verlag Karlsruhe
Abschlussart Dissertation
Fakultät Fakultät für Informatik (INFORMATIK)
Institut Institut für Theoretische Informatik (ITI)
Prüfungsdaten 29.01.2016
Referent/Betreuer Prof. J. Müller-Quade
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page