Chris Lane. Systems software integrity assurance. In Alok Srivastava, Jeff Boleng, editors, Proceedings of the 2010 Annual ACM SIGAda International Conference on Ada, Fairfax, Virginia, USA, October 24-28, 2010. pages 11-12, ACM, 2010. [doi]
Abstract is missing.