Cyber & formal methods publications January 1, 2011 Conference PaperEnsuring Security and Availability Through Model-Based Cross-Layer Adaptation SRI International January 1, 2011 ↓ View online Share this