Abstractions of non-interference security - Research Collection

Metadata only

Author

Thai, Son Hoang

McIver, Annabelle

Meinicke, Larrisa

Morgan, Carroll

Sloane, Anthony

Susatyo, Enrico

Date

2014

Type

Journal Article

Citations

Cited null times in Web of Science

ETH Bibliography

yes

Altmetrics

Publication status

published

External links

https://doi.org/10.1007/s00165-012-0237-4

Journal / series

Formal Aspects of Computing

Volume

26(1)

Pages / Article No.

169 - 194

Publisher

Springer International

Subject

Non-interference security; Probabilistic non-interference; Program semantics; Program refinement

Organisational unit

03634 - Basin, David / Basin, David

More

Show all metadata

Citations

Cited null times in Web of Science

ETH Bibliography

yes

Altmetrics