Abstractions of non-interference security: probabilistic versus possibilistic

The Shadow Semantics (Morgan, Math Prog Construction, vol 4014, pp 359–378, 2006 ; Morgan, Sci Comput Program 74(8):629–653, 2009 ) is a possibilistic (qualitative) model for noninterference security. Subsequent work (McIver et al., Proceedings of the 37th international colloquium conference on Auto...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Formal Aspects of Computing Jg. 26; H. 1; S. 169 - 194
Hauptverfasser:	Hoang, Thai Son, McIver, Annabelle K., Meinicke, Larissa, Morgan, Carroll C., Sloane, Anthony, Susatyo, Enrico
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	London Association for Computing Machinery (ACM) 01.01.2014 Springer London Association for Computing Machinery
Schlagworte:	Computation Computer Science Math Applications in Computer Science Non-interference security Original Article Probabilistic non-interference Program refinement Program semantics Theory of Computation Program refinement Probabilistic non-interference Non-interference security Program semantics
ISSN:	0934-5043, 1433-299X
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!