3. VIS 1993:
München
Gerhard Weck,
Patrick Horster (Hrsg.):
Verläßliche Informationssysteme,
Proceedings der GI-Fachtagung VIS'93,
11.-13.05.1993,
München. DuD-Fachbeiträge 16,
Vieweg,
Braunschweig/Wiesbaden,
1993,
ISBN 3-528-05344-5
Allgemeine Themen
- Friedrich Rapp:
Zur Verantwortung der Experten.
1-7
- Michael Marhöfer:
Vor welchen Risiken schützen uns verläßliche Informationssysteme? Einführung zu einer Podiumsdiskussion.
9-11
- E. Ehmann:
Neuer europäischer Rechtsrahmen für die Datenverarbeitung.
13-23
- M. Hange:
IT-Sicherheit von Anwendern durch das Bundesamt für Sicherheit in der Informationstechnik.
25
Zugriffskontrolle
- Werner Storz:
Regelbasierte Zugriffskontrolle in einem Client-Control-Server-Modell.
27-49
- Hans Hermann Brüggemann:
Prioritäten für eine verteilte, objekt-orientierte Zugriffskontrolle.
51-66
Sicherheitsmodelle und Schutzprinzipien
Zuverlässigkeit und Software-Verifikation
- Heidrun Dücker:
Ergebnisvalidierung und nebenläufige Hardwarefehlererkennung mittels systematisch erzeugter Diversität.
135-162
- Wolfgang A. Halang, Bernd J. Krämer:
Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung.
163-174
- Markus Ullmann, H. Hauff, D. Loevenich, P. Kejwal, R. Förster, P. Baur, Wolfgang Reif, Werner Stephan, Andreas Wolpers, Jürgen Cleve, Dieter Hutter, Claus Sengler, E. Canver:
VSE Verification Support Environment: Ein Werkzeug zur Entwicklung vertrauenswürdiger und zuverlässiger Systeme in Anlehnung an gültige Sicherheitskriterien.
175-190
Evaluationserfahrung
- Elmar Stöcker:
Evaluation eines Großrechner-Betriebssystems: Erfahrungsbericht.
191-204
- Roland Schützig:
Die Evaluation des BS2000 v10.0 - Erfahrungen mit Evaluationskriterien bei einem umfangreichen System.
205-223
Sicherheitmaßnahmen
- Sibylle Mund:
Sicherheitanforderungen - Sicherheitsmaßnahmen.
225-237
- Joachim Biskup:
Sicherheit von IT-Systemen als "sogar wenn - sonst nichts - Eigenschaft".
239-254
- Helmut Meitner:
Architektur von RiskMa - ein erster Ansatz zum on-line Risikomanagement.
255-267
Authentifikation
Kryptologie,
technische Realisierungen
- Stefan Osterlehner, Jörg Sauerbrey:
Authentisches Booten und Software-Integritätstest auf PC-Architekturen.
321-331
- Dirk Fox:
Der "Digital Signature Standard": Aufwand, Implementierung und Sicherheit.
333-352
- Patrick Horster:
Selbstmodifizierende Verbindungsnetzwerke.
353-369
Sicherheit in speziellen Systemen
Copyright © Mon Mar 22 02:46:11 2010
by Michael Ley (ley@uni-trier.de)
