Formal specification and verification of data separation in a separation kernel for an embedded system - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Constance L. Heitmeyer' in GoogleThis author has not been identified. Look up 'Myla Archer' in GoogleThis author has not been identified. Look up 'Elizabeth I. Leonard' in GoogleThis author has not been identified. Look up 'John D. McLean' in Google

runs on WebDSL