Please choose your delivery country and your customer group
Es wird ein Modell von Schutzmechanismen fuer Computersysteme gezeigt. Das 'safety' Problem zum Schutz von Systemen ist die Festlegung, wann ein Subjekt ein besonderes Recht an dem Objekt erlangen kann. An eingeschraenkten Faellen kann man zeigen, dass dies entscheidend ist, d.h. es ist ein Algorithmus festzulegen, wann ein System und in welcher Struktur es als sicher zu betrachten ist. Im allgemeinen und unter schwachen Annahmen kann man nicht eine Entscheidung ueber die Sicherheitssituation treffen. Verschiedene Folgerungen aus dieser Tatsache werden diskutiert. Durch dieses Modell wird gezeigt, dass kein Algorithmus ueber die Sicherheit eines willkuerlichen Schutzsystems mit willkuerlicher Struktur entscheiden kann.