Cyber & formal methods publications October 1, 2008 Conference PaperThe MILS Component Integration Approach to Secure Information Sharing ↓ View online Share this