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

僵硬

FAR

動(dòng)物

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

致敬