Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
and Cyber Physical Systems
biblio
A Cyber Resilient Design for Control Systems
Submitted by grigby1 on Thu, 09/16/2021 - 1:11pm
multi-agent systems
Sensor Systems
sensors
Resists
Resilient Security Architectures
resilient control
Resiliency
resilience
pubcrawl
and Cyber Physical Systems
hierarchical analytics architecture
Distributed databases
cyber security
cyber resilience
cyber awareness
control systems
Anomaly Detection
biblio
Testing the Effectiveness of Attack Detection Mechanisms in Industrial Control Systems
Submitted by grigby1 on Mon, 03/05/2018 - 1:08pm
security of data
Industrial Control Systems
Integrated circuit modeling
legacy systems
Metrics
process invariants
pubcrawl
resilience
Resiliency
security
industrial control
security requirements
security specifications
software maintenance
timed automata
UPPAAL
Valves
water supply
water treatment
computer security
and Cyber Physical Systems
Attack detection
attack detection mechanisms
automata
automata theory
Clocks
coding theory
Compositionality
6-stage operational water treatment plant
critical infrastructure
Cryptography
Cyber Attack Detection
cyber attack prevention
cyber security
formal methods
formal verification
ICs
profile
Irfan Ahmed
Critical Manufacturing Sector
Energy Sector
Medical Devices
3-D Printing
Automotive
Networked Control
Secure Control Systems
Smart Grid
Resilient Systems
Science of Security
Education
Research Program Overview
and Cyber Physical Systems
Cybersecurity
Digital Forensics
lightweight virtualization
Virginia
