Ruan He, Marc Lacoste, Jean Leneutre: Brief Announcement: An OS Architecture for Device Self-protection. SSS 2009: 783-784