Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John D. McLean. Formal specification and verification of data separation in a separation kernel for an embedded system. In Ari Juels, Rebecca N. Wright, Sabrina De Capitani di Vimercati, editors, Proceedings of the 13th ACM Conference on Computer and Communications Security, CCS 2006, Alexandria, VA, USA, Ioctober 30 - November 3, 2006. pages 346-355, ACM, 2006. [doi]
Abstract is missing.