VIS ’91 Verläßliche Informationssysteme: GI-Fachtagung, Darmstadt, 13.–15. März 1991 Proceedings (Informatik-Fachberichte, 271) (German Edition)

Verläßlichkeit von Informationstechnik ist eine Systemqualität im Verhältnis zwischen technischem System und menschlichem Nutzer. Mit der zunehmenden Ausbreitung des Informationstechnik-Einsatzes in Wirtschaft, Verwaltung und Privatleben wird die Verläßlichkeit der Informationssysteme zum Schlüssel für das Vertrauen, das die Benutzer in technische Systeme setzen und damit zum wichtigen Akzeptanz-Kriterium. Nach einer Vorläufertagung in München 1985 wurde in einer zweiten GI-Fachtagung 1991 in Darmstadt der relevante Stand der Wissenschaft und Technik präsentiert, Gemeinsamkeiten und Unterschiede zur System-Sicherheit herausgearbeitet und der Bedarf der Anwender nach technischen Lösungen diskutiert. Entsprechend wendet sich der Tagungsband an Anwender und Wissenschaftler, Manager und Entwickler, die Bedarf für Verläßliche Informationssysteme haben oder sich mit Untersuchung, Konstruktion oder Betrieb solcher Systeme befassen. Inhaltlich hat sich die Fachtagung u.a. mit den folgenden Bereichen beschäftigt: - Formale Modelle der Verläßlichkeit und der Beweis- barkeit von Verläßlichkeits-Eigenschaften; - Funktionalität und Qualität von Bewertungskriterien der Verläßlichkeit; - Architektur verläßlicher Rechen- und Kommunika- tionssysteme (Hardware, Firmware, Betriebssystem, Datenbanksystem, Anwendungssoftware); - Sicherheitsmechanismen und ihre Rolle für die Verläß- lichkeit (Krypto-Verfahren, physische Sicherung ...); - Methoden, Verfahren und Werkzeuge zur Entwicklung verläßlicher Systeme; - Schwachstellen-Analyse, Abwehr von Angriffen und Sicherheits-Management; - Verläßlichkeits-Dienste; - Verantwortbarkeit und Akzeptanz des Technik- Einsatzes zwischen Verläßlichkeit, Risiko und Wirtschaftlichkeit Verläßlichkeit von Informationstechnik ist eine Systemqualität im Verhältnis zwischen technischem System und menschlichem Nutzer. Mit der zunehmenden Ausbreitung des Informationstechnik-Einsatzes in Wirtschaft, Verwaltung und Privatleben wird die Verläßlichkeit der Informationssysteme zum Schlüssel für das Vertrauen, das die Benutzer in technische Systeme setzen und damit zum wichtigen Akzeptanz-Kriterium. Nach einer Vorläufertagung in München 1985 wurde in einer zweiten GI-Fachtagung 1991 in Darmstadt der relevante Stand der Wissenschaft und Technik präsentiert, Gemeinsamkeiten und Unterschiede zur System-Sicherheit herausgearbeitet und der Bedarf der Anwender nach technischen Lösungen diskutiert. Entsprechend wendet sich der Tagungsband an Anwender und Wissenschaftler, Manager und Entwickler, die Bedarf für Verläßliche Informationssysteme haben oder sich mit Untersuchung, Konstruktion oder Betrieb solcher Systeme befassen. Inhaltlich hat sich die Fachtagung u.a. mit den folgenden Bereichen beschäftigt: - Formale Modelle der Verläßlichkeit und der Beweis- barkeit von Verläßlichkeits-Eigenschaften; - Funktionalität und Qualität von Bewertungskriterien der Verläßlichkeit; - Architektur verläßlicher Rechen- und Kommunika- tionssysteme (Hardware, Firmware, Betriebssystem, Datenbanksystem, Anwendungssoftware); - Sicherheitsmechanismen und ihre Rolle für die Verläß- lichkeit (Krypto-Verfahren, physische Sicherung ...); - Methoden, Verfahren und Werkzeuge zur Entwicklung verläßlicher Systeme; - Schwachstellen-Analyse, Abwehr von Angriffen und Sicherheits-Management; - Verläßlichkeits-Dienste; - Verantwortbarkeit und Akzeptanz des Technik- Einsatzes zwischen Verläßlichkeit, Risiko und Wirtschaftlichkeit Front Matter....Pages I-VIII Sicherheit in Informationssystemen Gewährleistung und Begrenzung des Informationsflusses....Pages 1-21 Verfügbarkeit - eine tragende Säule sicherer Systeme....Pages 22-44 Formale Spezifikation und Verifikation - Ein Überblick -....Pages 45-66 Freiheit Oder Sicherheit — Ein Widerspruch Informationstechnischer Vernetzung?....Pages 67-81 Integrität in IT-Systemen....Pages 82-91 Innere Sicherheit in der Informationsverarbeitung....Pages 92-115 Evaluierung komplexer Systeme - Folgerungen für Sicherheitskriterien....Pages 116-132 Sicherheitsfunktionen im paneuropäischen Mobilfunknetz....Pages 133-145 Das datenschutzorientierte Informationssystem DORIS: Stand der Entwicklung und Ausblick....Pages 146-158 B1-Funktionalität für Betriebssysteme: Sicherheitskennzeichen für Exportkanäle....Pages 159-178 Auf dem Weg zu einer Sicherheitsarchitektur....Pages 179-189 Vertrauenswürdiges Booten als Grundlage authentischer Basissysteme....Pages 190-207 Computer Aided Verification of Parallel Processes....Pages 208-226 Werkzeuggestützter Nachweis von Verläßlichkeitseigenschaften....Pages 227-242 Eine Bewertung der „Information Technology Security Evaluation Criteria“....Pages 243-258 Bemerkungen zu den harmonisierten Evaluationskriterien für IT-Systeme....Pages 259-276 Welche Sicherheit bietet ein evaluiertes System....Pages 277-288 Fail-stop-Signaturen und ihre Anwendung....Pages 289-301 Unbedingte Unbeobachtbarkeit mit kryptographischer Robustheit....Pages 302-320 Protokolle zum Austausch authentischer Schlüssel....Pages 321-328 Effiziente Software-Implementierung des GMR-Signatursystems....Pages 329-345 PC-RSA A cryptographic toolkit for MS-DOS....Pages 346-354 Back Matter....Pages 355-355