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]
@inproceedings{PeriWK96,
title = {A Logic of Composition for Information Flow Predicates},
author = {Ramesh V. Peri and William A. Wulf and Darrell M. Kienzle},
year = {1996},
url = {http://csdl.computer.org/comp/proceedings/csfw/1996/7522/00/75220082abs.htm},
tags = {composition, data-flow, logic},
researchr = {https://researchr.org/publication/PeriWK96},
cites = {0},
citedby = {0},
pages = {82-94},
booktitle = {Ninth IEEE Computer Security Foundations Workshop, March 10 - 12, 1996, Dromquinna Manor, Kenmare, County Kerry, Ireland},
publisher = {IEEE Computer Society},
}