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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Safety
biblio
Early Hybrid Safety and Security Risk Assessment Based on Interdisciplinary Dependency Models
Submitted by
grigby1
on Mon, 02/17/2020 - 4:07pm
complex critical infrastructures
critical infrastructures
Design Process
economic reasons
environmental reasons
fault trees
Human behavior
hybrid safety
interdisciplinary dependency models
interdisciplinary interactions
Metrics
Model driven engineering
modeling
policy-based governance
pubcrawl
resilience
Resiliency
risk analysis
risk management
Safety
safety assessment
security
security assessment
security design weaknesses
security risk assessment
security risks
security weaknesses
social reasons
Software
system complexity
system operation
tools
Unified modeling language
biblio
Security Risk Assessment of Multimodal Transport Network Based on WBS-RBS and PFWA Operator
Submitted by
aekwall
on Mon, 02/17/2020 - 1:28pm
security
Safety
Scalability
Resiliency
pubcrawl
Metrics
risk management
fuzzy set theory
Transportation
Security Risk Management
security risk assessment
automotive components
highway transportation
multimodal transport
multimodal transport network
Personnel
personnel risk
PFWA operator
Pythagorean fuzzy number
Pythagorean fuzzy weighted average operator
Pythagorean fuzzy weighted average(PFWA) operator
Rail transportation
railway transportation
railway-highway-waterway intermodal transportation process
railways
risk breakdown structure(RBS)
risk matrix 0-1 assignment
security risk assessment method
security risk factors
waterway transportation
WBS-RBS
work breakdown structure (WBS)
biblio
Intelligent System Intricacies: Safety, Security and Risk Management Apprehensions of ITS
Submitted by
aekwall
on Mon, 02/17/2020 - 1:27pm
emergency management
emergency management system
Emergency Management System (EMS)
Environmental management
information and communications technologies
Intelligent systems
Intelligent Transportation System
Intelligent Transportation System (ITS)
Intelligent Transportation Systems
ITS
Metrics
pubcrawl
real-time systems
Resiliency
risk management
Safety
Scalability
security
security and risk management apprehensions
Security Risk Management
Sydney Metro's EMS
Transportation
biblio
Improved Invariant Generation for Industrial Software Model Checking of Time Properties
Submitted by
aekwall
on Mon, 02/10/2020 - 11:11am
Safety
authorization
Software
embedded systems
pubcrawl
composability
tools
Production
Formal Specification
safety-critical software
Writing
Scalability
formal verification
automotive embedded software
formal methods
formal proof
industrial software model checking
invariant generation
model checking
model-based design tools
safety-critical properties
SMT solving
Software verification
symbolic model checking
time properties
software assurance
biblio
Uncertain Requirements, Assurance and Machine Learning
Submitted by
aekwall
on Mon, 02/10/2020 - 11:10am
security
Safety
Ontologies
Software
feature extraction
learning (artificial intelligence)
machine learning
pubcrawl
composability
social networking (online)
social networks
uncertainty
privacy
software engineering
software development
assurance
safety-critical software
Scalability
formal verification
assurance case
automotive
conventional machine-learned
deductive verification
financial data processing
financial services
governing bodies
human judgement
inductive assurance
linked evidence
machine-learned components
machine-learning
open-world functionality
pragmatic assurance
predefined requirements
requirements engineering
safety assessment
safety-critical domains
software construction
Standards organizations
uncertain requirements
vehicle control
verification proofs
software assurance
file
Determining-Tolerable-Attack-Surfaces-that-Preserves-Safety-of-Cyber-Physical-Systems.pdf
Submitted by
Heather Lucas
on Wed, 01/29/2020 - 6:10pm
attacker model
automata
Communication system signaling
cyber-physical system
cyber-physical system safety
cyber-physical systems
formal verification
parameterizable state automaton templates
Rail transportation
railway signaling system
Safety
safety analysis
safety-critical software
Safety-Critical Systems
security
Security analysis
Servers
software fault tolerance
timed automata
tracking
Monitoring, Fusion, and Response for Cyber Resilience
biblio
Determining Tolerable Attack Surfaces that Preserves Safety of Cyber-Physical Systems
Submitted by
Heather Lucas
on Wed, 01/29/2020 - 6:10pm
cyber-physical systems
formal verification
safety-critical software
software fault tolerance
Safety-Critical Systems
Security analysis
railway signaling system
cyber-physical system safety
parameterizable state automaton templates
Safety
Rail transportation
Servers
automata
security
Communication system signaling
tracking
cyber-physical system
safety analysis
attacker model
timed automata
Human Behavior
Policy-Governed Secure Collaboration
Resilient Architectures
UIUC
Monitoring, Fusion, and Response for Cyber Resilience
biblio
A Construction Method of Security Mechanism Requirement for Wireless Access System Based on CC Standard
Submitted by
grigby1
on Tue, 01/21/2020 - 10:33am
collaboration
Communication networks
Communication system security
composability
emergency communication network
Human behavior
incomplete security mechanism
Information Assurance
information technology
Metrics
policy-based governance
pubcrawl
radio access networks
resilience
Resiliency
Safety
Scalability
security
Security Assessment Standards
Security Assurance
security assurance components
security evaluation standard
security functional components
security functions
security mechanism requirement construction method
security threats
standards
telecommunication security
wireless access system
Wireless communication
biblio
Dynamic Defense Strategy against Stealth Malware Propagation in Cyber-Physical Systems
Submitted by
aekwall
on Mon, 01/20/2020 - 11:05am
Safety
Conferences
malware
security
game theory
invasive software
cyber-physical systems
Resiliency
pubcrawl
composability
Decision Making
Games
Predictive Metrics
integer programming
CPS
APT attacks
advanced persistent threat attacks
Benders decomposition algorithm
bi-level integer programs
DSPTI
dynamic defense strategy
Loss measurement
model predictive control strategy
multi-stage dynamic game
predictive control
primary safety requirement
Real-Time Decision Making
shortest-path tree interdiction Stackelberg game
specialized anti-malware program
SSPTI
static game
stealth malware propagation
Zero Day Attacks and Defense
biblio
An Innovative Model for the Enhancement of IoT Device Using Lightweight Cryptography
Submitted by
aekwall
on Mon, 01/20/2020 - 11:01am
batteries
Block Cipher
Ciphers
Cloud Computing
commutation layer
cryptographic algorithms
Cryptography
data privacy
hash algorithm
Internet of Things
InternetȍofȍThings(IOT)
IoT device
Lightweight algorithms
Lightweight Ciphers
lightweight cryptography
privacy
pubcrawl
RadioȍFrequency ȍIdentification (RFID)
Resiliency
resource constrained devices
Safety
Scalability
security system
telecommunication security
Wireless Sensorȍ Networksȍ(WSN)
1
2
3
4
5
6
7
8
9
…
next ›
last »
