Aris Zakinthinos, E. Stewart Lee. The composability of non-interference [system security]. In The Eighth IEEE Computer Security Foundations Workshop (CSFW 95), March 13-15, 1995, Kenmare, County Kerry, Ireland. pages 2-8, IEEE Computer Society, 1995. [doi]
@inproceedings{ZakinthinosL95:0,
title = {The composability of non-interference [system security]},
author = {Aris Zakinthinos and E. Stewart Lee},
year = {1995},
url = {http://csdl.computer.org/comp/proceedings/csfw/1995/7033/00/70330002abs.htm},
tags = {security, e-science},
researchr = {https://researchr.org/publication/ZakinthinosL95%3A0},
cites = {0},
citedby = {0},
pages = {2-8},
booktitle = {The Eighth IEEE Computer Security Foundations Workshop (CSFW 95), March 13-15, 1995, Kenmare, County Kerry, Ireland},
publisher = {IEEE Computer Society},
}