Roderick Chapman, Adrian Hilton
Enforcing security and safety models with an information flow analysis tool
Ada, 2004.
@inproceedings{SIGAda-2004-ChapmanH,
author = "Roderick Chapman and Adrian Hilton",
booktitle = "{Proceedings of the Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies}",
doi = "10.1145/1032297.1032305",
isbn = "1-58113-906-3",
pages = "39--46",
publisher = "{ACM}",
title = "{Enforcing security and safety models with an information flow analysis tool}",
year = 2004,
}