Titlebook: VIS ’91 Verläßliche Informationssysteme; GI-Fachtagung, Darms Andreas Pfitzmann,Eckart Raubold Conference proceedings 1991 Springer-Verlag

僵硬

FAR

动物

Auf dem Weg zu einer Sicherheitsarchitektur,cherheits-Politiken durchsetzbar werden? Dieses Papier motiviert diese Frage und versucht, sie ansatzweise und im Kontext des BirliX-Betriebssystems zu beantworten..Das Papier konzentriert sich auf Sicherheit im Sinne des englischen . als einem Aspekt verläßlicher Systeme und diskutiert Fehlertolera

栖息地

,Vertrauenswürdiges Booten als Grundlage authentischer Basissysteme,des Gesamtsystems. Vertrauenswürdiges Booten ist ein Verfahren, ein bestimmtes Betriebssystem auf einer gegebenen Hardware so zu starten, daß die Authentizität beider Komponenten überprüft werden kann. Wenn wir eine vertrauenswürdige Zentraleinheit und ein vertrauenswürdiges Betriebssystem vorausset

马笼头

Computer Aided Verification of Parallel Processes, and ACP offer two means of verification, equivalence checking and model checking. For finite-state processes we describe algorithms for both problems and for the needed non-trivial preprocessing. We indicate how the approach may be exploited for verifying communication protocols.

令人心醉

有限

,Eine Bewertung der „Information Technology Security Evaluation Criteria“, der Staaten Bundesrepublik Deutschland, Frankreich, Großbritannien und Niederlande..Das erste Kapitel dieses Textes gibt einen kurzen inhaltlichen Überblick über die wesentlichen Merkmale der ITSEC. Im zweiten Kapitel erfolgt eine kritische Stellungnahme und Bewertung.

CIS

,Bemerkungen zu den harmonisierten Evaluationskriterien für IT-Systeme,ewertung der Sicherheit von Systemen der Informationstechnik„ nennt und das Kürzel “ITSEC„ (Information Technology Security Criteria) trägt. Sie ist als Entwurf (draft) gekennzeichnet. Ihr Zweck ist es, in den Europäischen Gemeinschaften als eine Meßlatte für Sicherheit der IT-Systeme zu dienen und

agglomerate

Welche Sicherheit bietet ein evaluiertes System,t für Hersteller von Datenverarbeitungssystemen so wichtig geworden, daß er neben Entwicklungsaufwänden Aufwände für zusätzliche Dokumentation u.a. mehr erbringt. Die Bedeutung für den Betreiber wird oft überschätzt. Der Betreiber erwartet erhöhte “Sicherheit„, wenn er ein evaluiertes System einsetz

致敬