Abstractions of non-interference security

Probabilistic versus possibilistic
Thumbnail
Metadata only
Author
Thai, Son Hoang
McIver, Annabelle
Meinicke, Larrisa
Morgan, Carroll
Sloane, Anthony
Susatyo, Enrico
Show all
Date
2014
Type
  • Journal Article
Publication status
published
External links
Full text via SFX
Journal / series
Formal aspects of computing
Volume
26(1)
Pages
169 - 194
Publisher
Springer International
Subject
Non-interference security; Probabilistic non-interference; Program semantics; Program refinement
Organisational unit
03634 - Basin, David
Notes
.
More
Show all metadata
Altmetrics