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
reachability
biblio
Automation Framework for Software Vulnerability Exploitability Assessment
Submitted by aekwall on Mon, 09/28/2020 - 10:34am
common vector scoring system
third-factor access complexity
Structural Severity
software vulnerability exploitability assessment
software structural properties
software development sector
security flaws
secure software
reachability
Entry points
de facto metrics system
CVSS exploitability measures
security of data
automated exploit attack
access vector
software vulnerabilities
security risks
Automated Secure Software Engineering
software engineering
reachability analysis
vulnerabilities
composability
pubcrawl
Resiliency
biblio
Reachability Analysis as a Design Tool for Stormwater Systems: Towards Planning in the Presence of Stochastic Surface Runoff
Submitted by willirn1 on Wed, 08/28/2019 - 9:31am
Dams Sector
Water and Wastewater Systems Sector
Critical Infrastructure
critical infrastructure
Dams Sector
dynamic systems
Floods
human impacts. hydrometeorology
hydrologyde
reachability
stormwater infrastructure
Water and Wastewater Systems Sector
biblio
Anycast vs. DDoS: Evaluating the November 2015 Root DNS Event
Submitted by K_Hooper on Wed, 10/25/2017 - 10:50am
anycast
BGP
Cyber Dependencies
DDoS
distributed denial-of-service
Human behavior
IP
Performance
pubcrawl
reachability
resilience
root dns
Scalability
file
Static Dynamic Analysis of Security Metrics for Cyberphysical Systems
Submitted by mitras on Thu, 10/30/2014 - 12:51pm. Contributors:
Sayan Mitra
Geir Dullerud
Swarat Chaudhuri
Abstract
Science of Security
Simulation
Metrics
privacy
reachability
Academia
Presentation
SoS Quarterly Lablet Meeting, Oct '14 at UMD
Security Metrics
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems
profile
Goran Frehse
Hybrid Models
Control
Semantics
Validation and Verification
Education
reachability
tools
algorithmic verification
benchmarks
