Roderick Chapman, Adrian Hilton. Enforcing security and safety models with an information flow analysis tool. In John W. McCormick, Ricky E. Sward, editors, Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, Atlanta, GA, USA, November 14-14, 2004. pages 39-46, ACM, 2004. [doi]
@inproceedings{ChapmanH04,
title = {Enforcing security and safety models with an information flow analysis tool},
author = {Roderick Chapman and Adrian Hilton},
year = {2004},
doi = {10.1145/1032297.1032305},
url = {http://doi.acm.org/10.1145/1032297.1032305},
tags = {analysis, data-flow, security, information models, data-flow analysis},
researchr = {https://researchr.org/publication/ChapmanH04},
cites = {0},
citedby = {0},
pages = {39-46},
booktitle = {Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, Atlanta, GA, USA, November 14-14, 2004},
editor = {John W. McCormick and Ricky E. Sward},
publisher = {ACM},
isbn = {1-58113-906-3},
}