A state-based approach to noninterference

We outline an alternative approach to modeling noninterference-style security policies using a state-based model (as opposed to an event-based or i/o-based model). We believe that this approach provides a richer, more intuitive formalism for security modeling than the event-based approach and provid...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Bevier, W.R., Young, W.D.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Carbon capture and storage Computational modeling Computer security Interference constraints Interleaved codes Logic
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!