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
design
biblio
Risk-Based Design Security Analysis
Submitted by
grigby1
on Mon, 06/17/2019 - 11:50am
design
Human Factors
Metrics
pubcrawl
resilience
risk analysis
Scalability
security
Security Risk Management
Threat Modeling
biblio
Knowledge-enriched Security and Privacy Threat Modeling
Submitted by
aekwall
on Wed, 02/13/2019 - 11:55am
design
model enrichment
security
Threat Modeling
Resiliency
Human behavior
pubcrawl
metric
threat mitigation
biblio
An IDE for the Design, Verification and Implementation of Security Protocols
Submitted by
grigby1
on Wed, 01/10/2018 - 12:19pm
AnBx compiler
code generator
compiler security
composability
dependable distributed applications
design
Eclipse-based IDE
encryption
formal method tools
formal modelling
Formal Specification
formal verification
Generators
implementation
integrated development environment
intuitive language AnB
Java
model checker OFMC
program compilers
program verification
protocol verification
Protocols
pubcrawl
Resiliency
secure distributed applications
security of data
security protocols
software engineering
tools
verification
biblio
Detecting and thwarting hardware trojan attacks in cyber-physical systems
Submitted by
grigby1
on Mon, 11/13/2017 - 12:00pm
attack vector models
composability
counter-measure
cyber-physical system integrity
cyber-physical systems
design
Diagnostics
Embedded System
field programmable gate arrays
Hardware
hardware component
hardware security platform
hardware-only attack
invasive software
IP networks
isolated security primitives
Measurement
pubcrawl
Reliability
Resiliency
security
security measures
smart grid application
Software component
software security
software-only attack
supervisory module
third-party soft IP cores
thwarting hardware trojan attacks
Trojan horses
trust
trust enhancements
trust metric
trust specifications
Trusted Computing
trusted platform modules
verification
biblio
The Blockchain as a Software Connector
Submitted by
grigby1
on Fri, 11/03/2017 - 11:33am
architectural decision
Architecture connector
Australia
blockchain
blockchain security
Connectors
contracts
Cryptography
data handling
decentralized blockchain
decentralized data sharing
design
design trade-offs
distributed processing
distributed software architectures
Online banking
Peer-to-peer computing
pubcrawl
quality attributes
Resiliency
Scalability
Software
Software Architecture
software connector
software quality
Trade-off
transactional data sharing
untrusted participants
biblio
Evaluating Physical Movement As Trigger for Transitioning Between Environments in Virtual Reality
Submitted by
grigby1
on Thu, 05/18/2017 - 3:05pm
computer games
design
digital media
Metrics
pubcrawl
Resiliency
Scalability
virtual reality
work factor metrics
biblio
On the Role of Latent Design Conditions in Cyber-physical Systems Security
Submitted by
grigby1
on Mon, 04/03/2017 - 11:52am
composability
cyber-physical systems
design
i-o systems security
i/o systems security
Industrial Control Systems
io systems security
Metrics
perception
Physical layer
physical layer security
physical-layer security
pubcrawl
Resiliency
Risk
Scalability
file
Yuan_Systematic_Survey.pdf
Submitted by
Jamie Presken
on Mon, 12/05/2016 - 12:43pm
Self-protection
self-adaptive systems
self-* properties
security
Reliability
design
Autonomic computing
Algorithms
adaptive security
biblio
A Systematic Survey of Self-Protecting Software Systems
Submitted by
Jamie Presken
on Mon, 12/05/2016 - 12:43pm
adaptive security
Algorithms
Autonomic computing
design
Reliability
security
self-* properties
self-adaptive systems
Self-protection
CMU
July'14
file
Tutorial_5_Kalbarczyk_Resilient_Architectures.pdf
Submitted by
awhitesell
on Thu, 11/17/2016 - 5:04pm
Architectures
Smart Grid
Energy
Science of Security
CPS Technologies
design
monintoring
resilience systems
SCADA
Science of Security
virtual machine monitoring
UIUC
NSA SoS Lablets Materials
Data Driven Security Models and Analysis
1
2
3
4
next ›
last »
