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
Air gaps
biblio
Detection of Composite Insulators Inner Defects Based on Flash Thermography
Submitted by grigby1 on Tue, 02/27/2018 - 2:28pm
mathematical analysis
transmission line
thermal diffusion
Temperature measurement
Surface treatment
Surface contamination
Resiliency
resilience
pubcrawl
power transmission lines
Pollution measurement
Pollution
non-destructive testing
Metrics
mathematical analysis model
air defects
Insulators
infrared imaging
Human Factors
Human behavior
Heating systems
heat loss
heat diffusion
flash thermography
composite insulators
composite insulator inner defect detection
composite insulator
composability
Air gaps
biblio
Evaluation of a Formalized Encryption Library for Safety-Critical Embedded Systems
Submitted by grigby1 on Tue, 02/27/2018 - 2:28pm
safety leveraged implementation of data encryptio
optimisation
optimization
programming languages
pubcrawl
public key cryptography
public-key based encryption
resilience
Resiliency
resource restricted embedded safety devices
Safety
model based language
safety leveraged implementation of data encryption
safety-critical embedded systems
safety-critical infrastructure
safety-critical software
Scade
security architecture multiple independent levels
SLIDE library
Software
synchronous dataflow language optimization
train control safety application
embedded systems
authentication
complex safety-critical devices
composability
confidentiality
Cryptographic Protocols
cryptography implementations
data integrity
demilitarized zones
dependable communication
diverse integration patterns
Air gaps
encrypting gateways
encryption
formalized encryption library evaluation
Human behavior
Human Factors
infamous air gap
integrity
Libraries
Metrics
biblio
Jumping the Air Gap: Modeling Cyber-Physical Attack Paths in the Internet-of-Things
Submitted by grigby1 on Tue, 02/27/2018 - 2:28pm
Air gaps
Alloy
composability
Control Theory
cyber physical systems
device interaction modeling
Human behavior
Human Factors
Internet of Things
Metrics
privacy
pubcrawl
resilience
Resiliency
security and privacy
biblio
From Secure Business Process Modeling to Design-Level Security Verification
Submitted by grigby1 on Tue, 02/27/2018 - 2:28pm
socio-technical systems
pubcrawl
resilience
Resiliency
SecBPMN2
security
security engineering framework
security of data
security requirements
procedural system descriptions
Stakeholders
system design
system developers
Systems architecture
UML
UMLsec policies
Unified modeling language
Air gaps
organizational aspects
organisational aspects
modeling
Model transformation
Metrics
Human Factors
Human behavior
formal verification
Formal Specification
design-level security verification
composability
business process modeling security
business data processing
BPMN
air traffic management system
biblio
Application of Deep Learning Technique for Automatic Data Exchange with Air-Gapped Systems and Its Security Concerns
Submitted by grigby1 on Tue, 02/27/2018 - 2:28pm
DHT11 sensor
security
Resiliency
resilience
pubcrawl
Metrics
Internet of Things
Humidity
Human Factors
Human behavior
Air gaps
DH-HEMTs
deep learning
data exchange
Conferences
computer security
composability
Arduino board
Air-Gapped Systems
biblio
Performance Modeling of Moving Target Defenses
Submitted by grigby1 on Tue, 01/16/2018 - 6:31pm
Air gaps
Markov chains
Metrics
moving target defense
Performance
pubcrawl
Resiliency
« first
‹ previous
1
2
3
4
5
6
