VIS ’91 Verläßliche Informationssysteme: GI-Fachtagung, Darmstadt, 13.–15. März 1991 Proceedings

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.