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

Notes

.

More

Show all metadata

Citations

Cited 2 times in Web of Science

ETH Bibliography

yes

Altmetrics