Ramesh V. Peri, William A. Wulf, Darrell M. Kienzle. A Logic of Composition for Information Flow Predicates. In Ninth IEEE Computer Security Foundations Workshop, March 10 - 12, 1996, Dromquinna Manor, Kenmare, County Kerry, Ireland. pages 82-94, IEEE Computer Society, 1996. [doi]
Abstract is missing.