Security for resource limited networked Cyber-physical systems
Abstract
Security for resource limited networked Cyber-physical systemsWe propose to 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
- N000142012635
Entities
People
- Andre Scedrov
Organizations
- Office of Naval Research
- United States Navy
- University of Pennsylvania