Formal specification and verification of data separation in a separation kernel for an embedded system.

Constance L. Heitmeyer, Myla Archer, Elizabeth I. Leonard, John D. McLean

Browse the full CCS paper archive.