Suchen Sie ein sichereres Computersystem? Dieses Papier untersucht Mechanismen zur Gewährleistung eines sicheren Informationsflusses und führt eine Gitterstruktur ein, die von Sicherheitsklassen abgeleitet ist. Innerhalb eines mathematischen Rahmens untersucht das Papier Mechanismen, die einen sicheren Informationsfluss in einem Computersystem gewährleisten, der durch die Semantik des Informationsflusses gerechtfertigt ist. Die Gittereigenschaften erleichtern prägnante Formulierungen von Sicherheitsanforderungen und den Aufbau von Durchsetzungsmechanismen. Dieses Modell ermöglicht eine Klassifizierung von Systemen auf der Grundlage von Sicherheitszielen und schlägt neue Ansätze vor, einschließlich der automatischen Programmzertifizierung. Diese Arbeit bietet einen umfassenden Überblick über Systeme, die den Informationsfluss einschränken, und schlägt Ansätze zur Gewährleistung der Sicherheit in komplexen Computerumgebungen vor.
Dieser Artikel erscheint in Communications of the ACM und steht im Einklang mit dem Fokus der Zeitschrift auf Computersicherheit und formale Methoden in der Softwareentwicklung. Die Einführung eines Gittermodells für den sicheren Informationsfluss trägt direkt zur Erforschung innovativer Techniken zur Verbesserung der Sicherheit von Computersystemen durch die Zeitschrift bei. Die Anzahl der Zitate beweist die Relevanz.