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

不合

Unbedingte Unbeobachtbarkeit mit kryptographischer Robustheit,Protokoll hat zwei Schwachpunkte, die im folgenden betrachtet und beseitigt werden:.Im Anhang beschreiben wir ein Protokoll zur ., d.h. Byzantinische Übereinstimmung, die nur gestört werden kann, wenn ein Angreifer sowohl mindestens ein Drittel (bzw. die Hälfte) aller Teilnehmer kontrolliert als auc

内疚

,Evaluierung komplexer Systeme - Folgerungen für Sicherheitskriterien,ommt..Die Probleme bei vernetzten Systemen lassen sich verallgemeinern und führen zum Begriff des “komplexen„ Systems. Zu diesen können auch besonders umfangreiche Betriebssysteme gezählt werden, da die Untersuchung der praktischen Probleme bei deren Evaluation zu ähnlichen Folgerungen für die Sicherheitskriterien führt.

知识分子

,Werkzeuggestützter Nachweis von Verläßlichkeitseigenschaften,ichkeitseigenschaften erfolgt durch Konstruktion und Beweis von Korrektheitskriterien (Verifikationsbedingungen). Die Anwendung von Sprache und System wird beispielhaft an einem Sicherheitsnachweis demonstriert. Es wird nachgewiesen, daß einfache Zugriffsfunktionen auf vertrauliche Daten dem Sicherheitsmodell von Bell und La Padula genügen.

Nonflammable

Welche Sicherheit bietet ein evaluiertes System,s Kriterien- kataloges inhärenten Einschränkungen unterworfen, die in ihrer Tragweite bisher nicht diskutiert worden sind. Diese Einschränkungen aufzuheben stehen noch viele Probleme entgegen, die wir anhand praktischer Erfahrungen erst schrittweise lösen können werden.

expunge

Fail-stop-Signaturen und ihre Anwendung,us beliebigen kollisionsfreien Paaren von Permutationen. Als Spezialfall ergibt sich ein relativ praktikables System, in dem Fälschen so schwer ist wie Faktorisierung..Ausführlich werden Anwendungen in digitalen Zahlungssystemen betrachtet, auf Anwendungen auf zuverlässige Verteilung wird verwiesen.

卡死偷电