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

ISBN-13: 9783540539117 / Niemiecki / Miękka / 1991 / 355 str.

Andreas Pfitzmann;Eckart Raubold

Opis

Das Thema "Computer-Sicherheit" gehOrt zu den Modethemen der DV-Branche. Doch je nach Zielvorstellung und Ausgangspunkt liegen jeweils andere Frage stellungen im Schwerpunkt der Diskussion zu diesem Thema. Die neugegrOndete Fachgruppe "VerlaBliche Informationssysteme" (2.5.3) der GI wahlt als Ausgangspunkt ihrer Betrachtungen naturgemaB die systemtechnischen Gestaltungsmoglichkeiten von Informationssystemen, und von den vielen moglichen Zielen der Systemgestaltung hat die Fachgruppe die "VerlaBlichkeit" des Systems in den Mittelpunkt gestellt. Mit dem Begriff der VerlaBlichkeit verbindet die Fachgruppe die Vorstellung von einer Systemeigenschaft, die im System-/Anwender-Verhaltnis wichtig ist und die sich aus sonst eher isoliert betrachteten Systemmerkmalen wie - VerfOgbarkeit - Spezifikationstreue - Funktionssicherheit - Manipulationssicherheit - Verstehbarkeit - Nachvollziehbarkeit ergibt. Angesichts des massiven Trends zur "Personalisierung" der Rechnernutzung und des Einsatzes von Rechnernetzen als universellen Medien der Interaktion zwischen "personlichen" Rechnernutzern wird damit der technischen Heraus forderung der Gestaltung von informationstechnischen Systemen unter dem Gesichtspunkt der Verantwortbarkeit der Systembenutzung durch den Endbenutzer Rechnung getragen. Die Fachtagung VIS '91 soli als Plattform fOr Informations- und Ideenaustausch zwischen den Entwicklern von Mechanismen und Methoden fOr die Konstruktion und den Bedarfstragern fOr die Anwendung von "verlaBlichen" IT-Systemen dienen. Im Idealfall wird sie zu einem besseren Verstandnis der Beziehungen zwischen den verschiedenen Basis-Systemeigenschaften fOhren, die zusammen "VerlaBlichkeit" bewirken und damit auch der Fachgruppe helfen, ihre weiteren Aktivitaten zu planen."

Spis treści

Sicherheit in Informationssystemen - Gewährleistung und Begrenzung des Informationsflusses.- Verfügbarkeit - eine tragende Säule sicherer Systeme.- Formale Spezifikation und Verifikation - Ein Überblick.- Freiheit oder Sicherheit - Ein Widerspruch informationstechnischer Vernetzung?.- Integrität in IT-Systemen.- Innere Sicherheit in der Informationsverarbeitung - Das System integrierter Kontrollkreise (SIK) im Abstimm-, Sicherheits- und Kontrollsystem (ASK).- Evaluierung komplexer Systeme - Folgerungen für Sicherheitskriterien.- Sicherheitsfunktionen im paneuropäischen Mobilfunknetz.- Das datenschutzorientierte Informationssystem DORIS: Stand der Entwicklung und Ausblick.- B1-Funktionalität für Betriebssysteme: Sicherheitskennzeichen für Exportkanäle.- Auf dem Weg zu einer Sicherheitsarchitektur.- Vertrauenswürdiges Booten als Grundlage authentischer Basissysteme.- Computer Aided Verification of Parallel Processes.- Werkzeuggestützter Nachweis von Verläßlichkeitseigenschaften.- Eine Bewertung der „Information Technology Security Evaluation Criteria“.- Bemerkungen zu den harmonisierten Evaluationskriterien für IT-Systeme.- Welche Sicherheit bietet ein evaluiertes System.- Fail-stop-Signaturen und ihre Anwendung.- Unbedingte Unbeobachtbarkeit mit kryptographischer Robustheit.- Protokolle zum Austausch authentischer Schlüssel.- Effiziente Software-Implementierung des GMR-Signatursystems.- PC-RSA A cryptographic toolkit for MS-DOS.- Autorenverzeichnis.