@InProceedings{cachin_et_al:DagSemProc.06371.2, author = {Cachin, Christian and Freiling, Felix C. and Hoepman, Jaap-Henk}, title = {{06371 Executive Summary – From Security to Dependability}}, booktitle = {From Security to Dependability}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {6371}, editor = {Christian Cachin and Felix C. Freiling and Jaap-Henk Hoepman}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06371.2}, URN = {urn:nbn:de:0030-drops-8512}, doi = {10.4230/DagSemProc.06371.2}, annote = {Keywords: Fault-tolerance, safety, distributed computing, language-based security, cryptography} }