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]
No references recorded for this publication.
No citations of this publication recorded.