Security for resource limited networked cyber-physical systems
Abstract
SRI International shall develop families of formal executable models and analysis algorithms that integrate multiple system aspects and allow considering a range of attack surfaces and attacker capabilities opened by linking cyber and physical interactions. We will develop supporting theory and study complexity tradeoffs. The objective is to provide a high degree of confidence in the security and safety of networked CPS/IoT while preserving the ability to satisfy functional, resource andtime constraints.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Jun 17, 2020
- Source ID
- N000142012644
Entities
People
- Carolyn Talcott
Organizations
- Office of Naval Research
- SRI International
- United States Navy