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
Safety
biblio
Runtime Verification of Hyperproperties for Deterministic Programs
Submitted by grigby1 on Mon, 11/02/2020 - 11:39am
pubcrawl
system monitoring
software doping
Software
security policies
security of data
security
Scalability
safety hyperproperty
Safety
runtime verification problem
runtime verification monitors
runtime verification
Runtime
data minimality
program verification
parametric monitor
noninterference
Monitoring
information-flow policies
information-flow
i/o systems security
i-o systems security
finite element analysis
Doping
deterministic input-output programs
deterministic algorithms
biblio
Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems
Submitted by grigby1 on Fri, 10/30/2020 - 12:18pm
input-output programs
smart I/O modules
security of data
security
Scalability
Safety
runtime enforcement
Runtime
real-world physical systems
pubcrawl
programmable logic controller I/O modules
programmable controllers
production engineering computing
Power Grid
Monitoring
malicious attacks
control engineering computing
Industries
Industrial Control Systems
industrial control
i-o systems security
I-O Systems
hardware architecture
Hardware
embedded systems
embedded control
cyber-physical systems (CPSs)
cyber-physical systems
cyber-physical attacks mitigation
Cyber-physical attacks
CPS
control systems
biblio
Confidence-aware motion prediction for real-time collision avoidance
Submitted by willirn1 on Fri, 10/30/2020 - 11:05am
motion planning
human motion prediction
Safety
robust control models
Human Behavior
Resilient Architectures
Scalability and Composability
VU
Mixed Initiative and Collaborative Learning in Adversarial Environments
2019: October
biblio
Prevention of DoS Attacks by Detection of Multiple Malicious Nodes in VANETs
Submitted by grigby1 on Thu, 10/29/2020 - 11:23am
Roads
network throughput
packet delivery ratio
Packet detection
packet detection algorithm
packet loss ratio
pubcrawl
resilience
Resiliency
network availability
Safety
Safety messages
Technology management
VANET
VANETs
vehicle nodes
vehicular ad hoc networks
vehicular adhoc network
driver safety
automation
Compositionality
computer network security
critical information
Denial of Service attacks
detection algorithms
DoS attacks
DoS attacks prevention
manet attack prevention
irrelevant data
irrelevant packets
Jamming
malicious nodes
MANET Attack Detection
Metrics
multiple malicious nodes
biblio
Realizing Source Location Privacy in Wireless Sensor Networks Through Agent Node Routing
Submitted by aekwall on Mon, 10/26/2020 - 11:54am
telecommunication network routing
Location Privacy in Wireless Networks
tactically positioned agent nodes
source location privacy
random routing techniques
random routing
Phantoms
agent node routing
agent node
adversary
Position measurement
source node
WSN
Compositionality
Safety
Metrics
sensor placement
sensor nodes
Routing
privacy
wireless sensor networks
Wireless Sensor Network
pubcrawl
Human behavior
Resiliency
telecommunication security
Monitoring
biblio
A Pseudonym Certificate Management Scheme Based on Blockchain for Internet of Vehicles
Submitted by aekwall on Mon, 10/19/2020 - 11:49am
public key cryptography
pseudonym certificate management scheme
Pseudonym certificate
lifecycle
distributed maintenance
cybercrime attacks
network resources
cyber physical systems
Internet of Vehicles
certification
certificate revocation list
Human Factors
network structure
automobiles
standards
blockchain
Metrics
Cryptography
privacy
pubcrawl
Human behavior
Resiliency
telecommunication security
data privacy
security of data
Safety
biblio
Security Development Lifecycle for Cyber-Physical Production Systems
Submitted by aekwall on Mon, 10/12/2020 - 11:37am
manufacturing systems
standards
Software
smart production system
security standards
security of data
security development lifecycle
security by design
security
Scalability
Safety
Resiliency
pubcrawl
production systems engineering process
Production systems
production engineering computing
False Data Detection
manufacturing industry
Manufacturing industries
information security
Industry 4.0
Industries
industrial security concept
IEC standards
Human behavior
Guidelines
Expert Systems and Security
domain experts
Design engineering
cyber-physical systems
cyber-physical production systems
Austrian-based system
biblio
Extending Functionality of Early Fault Diagnostic System for Online Security Assessment of Nuclear Power Plant
Submitted by aekwall on Mon, 10/12/2020 - 11:37am
prohibited plant state
online security assessment
operational stage
plant operational modes
plant operators
plant parameters
power engineering computing
power generation
power system security
nuclear power stations
pubcrawl
Resiliency
Safety
Scalability
security
security of data
simulators
fault diagnosis
computer security
control systems
Decision support systems
dynamic models
EDS
expert system
expert systems
Expert Systems and Security
False Data Detection
fault diagnostic system
Human behavior
instrumentation
NPP industry-cyber threat
nuclear engineering
nuclear engineering computing
nuclear power plant
biblio
Parametric Analyses of Attack-Fault Trees
Submitted by grigby1 on Tue, 10/06/2020 - 2:01pm
risk assessment
parametric analyses
parametric timed automata
parametric weighted timed automata
power plants
pubcrawl
resilience
Resiliency
risk analysis
parameter values
Safety
safety engineering
security
security of data
tree-based formalism
trees (mathematics)
Unified modeling language
cyber-physical systems
automata
automata theory
composability
Concurrency
connected devices
Cost accounting
CPS
cyber physical systems
attack-fault trees
fault scenarios
fault trees
formal verification
imitator
Logic gates
Metrics
model-checker IMITATOR
biblio
Cyber-Physical Interdependencies in Power Plant Systems: A Review of Cyber Security Risks
Submitted by grigby1 on Tue, 10/06/2020 - 1:50pm
research target
network topology
network-based models
power engineering computing
power generation
power plant systems
power plants
pubcrawl
Reliability
modern computing
Safety
Security Metrics
security of data
smart cities
Smart City
Smart Grid
system components
Topology
Cyber-physical attacks
Analytical models
communication direction
computational complexity
Computational modeling
Computing Theory
control parameters
critical infrastructure
cyber security risks
advanced communication technologies
cyber-physical interdependencies
cyber-physical systems
digital transformation process
graph theory
graph-based models
interdependent connections
Metrics
« first
‹ previous
…
17
18
19
20
21
22
23
24
25
…
next ›
last »
