[go: up one dir, main page]
Skip to main content
Springer Nature Link
Account

VIS ’91 Verläßliche Informationssysteme

GI-Fachtagung, Darmstadt, 13.–15. März 1991 Proceedings

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. Andreas Pfitzmann

    1. Institut für Rechnerentwurf und Fehlertoleranz, Universität Karlsruhe, Karlsruhe 1, Deutschland

  2. Eckart Raubold

    1. Institut für Systemtechnik Bereich Kommunikationstechnik, GMD, Darmstadt, Deutschland

Part of the book series: Informatik-Fachberichte (INFORMATIK, volume 271)

  • 1603 Accesses

  • 2 Citations

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book EUR 54.22
Price includes VAT (France)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Explore related subjects

Discover the latest articles, books and news in related subjects.

Table of contents (22 papers)

  1. Front Matter

    Pages I-VIII
    Download chapter PDF

  2. Sicherheit in Informationssystemen Gewährleistung und Begrenzung des Informationsflusses

    • Joachim Biskup
    Pages 1-21

  3. Verfügbarkeit - eine tragende Säule sicherer Systeme

    • Manfred Reitenspieß
    Pages 22-44

  4. Formale Spezifikation und Verifikation - Ein Überblick -

    • Helmut Kurth
    Pages 45-66

  5. Freiheit Oder Sicherheit — Ein Widerspruch Informationstechnischer Vernetzung?

    • Volker Hammer, Ulrich Pordesch, Alexander Roßnagel
    Pages 67-81

  6. Integrität in IT-Systemen

    • Peter Kraaibeek, Patrick Horster
    Pages 82-91

  7. Innere Sicherheit in der Informationsverarbeitung

    • Eckart Weese, Günter Lessing
    Pages 92-115

  8. Evaluierung komplexer Systeme - Folgerungen für Sicherheitskriterien

    • Roland Schützig
    Pages 116-132

  9. Sicherheitsfunktionen im paneuropäischen Mobilfunknetz

    • Uwe Michel
    Pages 133-145

  10. Das datenschutzorientierte Informationssystem DORIS: Stand der Entwicklung und Ausblick

    • Joachim Biskup
    Pages 146-158

  11. B1-Funktionalität für Betriebssysteme: Sicherheitskennzeichen für Exportkanäle

    • Eike Born
    Pages 159-178

  12. Auf dem Weg zu einer Sicherheitsarchitektur

    • Michael Groß, Hermann Härtig, Oliver C. Kowalski
    Pages 179-189

  13. Vertrauenswürdiges Booten als Grundlage authentischer Basissysteme

    • Michael Groß
    Pages 190-207

  14. Computer Aided Verification of Parallel Processes

    • Klaus Estenfeld, Hans-Albert Schneider, Dirk Taubner, Erik Tidén
    Pages 208-226

  15. Werkzeuggestützter Nachweis von Verläßlichkeitseigenschaften

    • Bernhard Hohlfeld
    Pages 227-242

  16. Eine Bewertung der „Information Technology Security Evaluation Criteria“

    • Martin Meyer, Kai Rannenberg
    Pages 243-258

  17. Bemerkungen zu den harmonisierten Evaluationskriterien für IT-Systeme

    • Karl Rihaczek
    Pages 259-276

  18. Welche Sicherheit bietet ein evaluiertes System

    • Helmut G. Stiegler
    Pages 277-288

  19. Fail-stop-Signaturen und ihre Anwendung

    • Birgit Pfitzmann, Michael Waidner
    Pages 289-301

  20. Unbedingte Unbeobachtbarkeit mit kryptographischer Robustheit

    • Birgit Pfitzmann, Michael Waidner
    Pages 302-320
Back to top

Editors and Affiliations

  • Institut für Rechnerentwurf und Fehlertoleranz, Universität Karlsruhe, Karlsruhe 1, Deutschland

    Andreas Pfitzmann

  • Institut für Systemtechnik Bereich Kommunikationstechnik, GMD, Darmstadt, Deutschland

    Eckart Raubold

Accessibility Information

PDF accessibility summary

This PDF is not accessible. It is based on scanned pages and does not support features such as screen reader compatibility or described non-text content (images, graphs etc). However, it likely supports searchable and selectable text based on OCR (Optical Character Recognition). Users with accessibility needs may not be able to use this content effectively. Please contact us at accessibilitysupport@springernature.com if you require assistance or an alternative format.

Bibliographic Information

  • Book Title: VIS ’91 Verläßliche Informationssysteme

  • Book Subtitle: GI-Fachtagung, Darmstadt, 13.–15. März 1991 Proceedings

  • Editors: Andreas Pfitzmann, Eckart Raubold

  • Series Title: Informatik-Fachberichte

  • DOI: https://doi.org/10.1007/978-3-642-76562-9

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1991

  • Softcover ISBN: 978-3-540-53911-7Published: 06 March 1991

  • eBook ISBN: 978-3-642-76562-9Published: 08 March 2013

  • Series ISSN: 0343-3005

  • Edition Number: 1

  • Number of Pages: VIII, 355

  • Number of Illustrations: 6 b/w illustrations

  • Topics: Information Storage and Retrieval, Cryptology

Keywords

Publish with us

Policies and ethics

Back to top