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

Celý popis

Podrobná bibliografia

Vydané v:	Formal Aspects of Computing Ročník 26; číslo 1; s. 169 - 194
Hlavní autori:	Hoang, Thai Son, McIver, Annabelle K., Meinicke, Larissa, Morgan, Carroll C., Sloane, Anthony, Susatyo, Enrico
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	London Association for Computing Machinery (ACM) 01.01.2014 Springer London Association for Computing Machinery
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!