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]
Abstract is missing.