VIS 1991: Darmstadt

@proceedings{DBLP:conf/vis/1991,
  editor    = {Andreas Pfitzmann and
               Eckart Raubold},
  title     = {VIS'91, Verl{\"a}{\ss}liche Informationssysteme, GI-Fachtagung,
               Darmstadt, 13.-15. M{\"a}rz 1991, Proceedings},
  booktitle = {VIS},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {271},
  year      = {1991},
  isbn      = {3-540-53911-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Joachim Biskup: Sicherheit in Informationssystemen - Gewährleistung und Begrenzung des Informationsflusses. 1-21 BibTeX
• Manfred Reitenspieß: Verfügbarkeit - eine tragende Säule sicherer Systeme. 22-44 BibTeX
• Helmut Kurth: Formale Spezifikation und Verifikation - Ein Überblick. 45-66 BibTeX
• Volker Hammer, Ulrich Pordesch, Alexander Roßnagel: Freiheit oder Sicherheit - Ein Widerspruch Informationstechnischer Vernetzung? 67-81 BibTeX
• Peter Kraaibeek, Patrick Horster: Integrität in IT-Systemen. 82-91 BibTeX
• Eckart Weese, Günter Lessing: Innere Sicherheit in der Informationsverarbeitung - Das System integrierter Kontrollkreise im Abstimm-, Sicherheits- und Kontrollsystem. 92-115 BibTeX
• Roland Schützig: Evaluierung komplexer Systeme - Folgerungen für Sicherheitskriterien. 116-132 BibTeX
• Uwe Michel: Sicherheitsfunktionen im paneurpäischen Mobilfunknetz. 133-145 BibTeX
• Joachim Biskup, Hans Hermann Brüggemann: Das datenschutzorientierte Informationssystem DORIS: Stand der Entwicklung und Ausblick. 146-158 BibTeX
• Eike Born: B1-Funktionalität für Betriebssysteme: Sicherheitskennzeichen für Exportkanäle. 159-178 BibTeX
• Michael Groß, Hermann Härtig, Oliver C. Kowalski: Auf dem Weg zu einer Sicherheitsachitektur. 179-189 BibTeX
• Michael Groß: Vertrauenswürdiges Booten als Grundlage authentischer Basissysteme. 190-207 BibTeX
• Klaus Estenfeld, Hans-Albert Schneider, Dirk Taubner, Erik Tidén: Computer Aided Verification of Parallel Processes. 208-226 BibTeX
• Bernhard Hohlfeld: Werkzeuggestützter Nachweis von Verläßlichkeitseigenschaften. 227-242 BibTeX
• Martin Meyer, Kai Rannenberg: Eine Bewertung der "Information Technology Security Evaluation Criteria". 243-258 BibTeX
• Karl Rihaczek: Bemerkungen zu den harmonisierten Evaluationskriterien für IT-Systeme. 259-276 BibTeX
• Helmut G. Stiegler: Welche Sicherheit bietet ein evaluiertes System. 277-288 BibTeX
• Birgit Pfitzmann, Michael Waidner: Fail-stop-Signaturen und ihre Anwendung. 289-301 BibTeX
• Birgit Pfitzmann, Michael Waidner: Unbedingte Unbeobachtbarkeit mit kryprographischer Robustheit. 302-320 BibTeX
• Patrick Horster, Hans-Joachim Knobloch: Protokolle zum Austausch authenischer Schlüssel. 321-328 BibTeX
• Dirk Fox, Birgit Pfitzmann: Effiziente Software-Implementierung des GMR-Signatursystems. 329-345 BibTeX
• P. Lippitsch, Reinhard Posch: PC-RSA A Cryptgraphic Toolkit for MS-DOS. 346-354 BibTeX