Abstractions of non-interference security
Publication status
publishedExternal links
Journal / series
Formal Aspects of ComputingVolume
Pages / Article No.
Publisher
Springer InternationalSubject
Non-interference security; Probabilistic non-interference; Program semantics; Program refinementOrganisational unit
03634 - Basin, David / Basin, David
More
Show all metadata