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
potential attack paths
biblio
ForeSee: A Cross-Layer Vulnerability Detection Framework for the Internet of Things
Submitted by aekwall on Mon, 09/21/2020 - 3:35pm
IoT privacy
composability
catastrophic accidents
corresponding graph-based analysis
cross-layer formal framework
cross-layer vulnerability detection framework
design flaws
device firmware
ForeSee
high-level decision-making processes
network protocols
long sequence
low-level physical surroundings
Multiple layer
multiple layers
physical environment
potential attack paths
severe threats
system configurations
Cross Layer Security
Intrusion Detection
Internet of Things
IoT devices
Internet of Things (IoT)
Resiliency
pubcrawl
graph theory
Protocols
Vulnerability Analysis
Decision Making
security of data
firmware
IoT security
vulnerability detection
cyber security
security issues
IoT systems
attack graph
Internet-of-Things devices
model checking
biblio
SCPN-Based Game Model for Security Situational Awareness in the Intenet of Things
Submitted by grigby1 on Thu, 03/28/2019 - 3:12pm
security situational awareness
typical attack scenarios
stochastic colored Petri net
Smart homes
smart home environment
security situational awareness model
SCPN-based game model
SCPN
potential attack paths
IoT-based smart environment
IoT-based SCPN
heterogeneous devices
GT
complex smart environment
situational awareness
IoT
Petri nets
computer network security
Androids
game theory
composability
Resiliency
Metrics
pubcrawl
Decision Making
resilience
Games
security
Internet of Things
