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 BibTeX
- Michael Marhöfer:
Vor welchen Risiken schützen uns verläßliche Informationssysteme? Einführung zu einer Podiumsdiskussion.
9-11 BibTeX
- E. Ehmann:
Neuer europäischer Rechtsrahmen für die Datenverarbeitung.
13-23 BibTeX
- M. Hange:
IT-Sicherheit von Anwendern durch das Bundesamt für Sicherheit in der Informationstechnik.
25 BibTeX
Zugriffskontrolle
Sicherheitsmodelle und Schutzprinzipien
Zuverlässigkeit und Software-Verifikation
- Heidrun Dücker:
Ergebnisvalidierung und nebenläufige Hardwarefehlererkennung mittels systematisch erzeugter Diversität.
135-162 BibTeX
- Wolfgang A. Halang, Bernd J. Krämer:
Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung.
163-174 BibTeX
- 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 BibTeX
Evaluationserfahrung
- Elmar Stöcker:
Evaluation eines Großrechner-Betriebssystems: Erfahrungsbericht.
191-204 BibTeX
- Roland Schützig:
Die Evaluation des BS2000 v10.0 - Erfahrungen mit Evaluationskriterien bei einem umfangreichen System.
205-223 BibTeX
Sicherheitmaßnahmen
Authentifikation
Kryptologie,
technische Realisierungen
Sicherheit in speziellen Systemen
Copyright © Sat May 16 23:44:38 2009
by Michael Ley (ley@uni-trier.de)
