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...

Full description

Bibliographic Details

Published in:	Formal Aspects of Computing Vol. 26; no. 1; pp. 169 - 194
Main Authors:	Hoang, Thai Son, McIver, Annabelle K., Meinicke, Larissa, Morgan, Carroll C., Sloane, Anthony, Susatyo, Enrico
Format:	Journal Article
Language:	English
Published:	London Association for Computing Machinery (ACM) 01.01.2014 Springer London Association for Computing Machinery
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!