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
Probabilistic Model Checker
biblio
Security in Heterogeneous Distributed Storage Systems: A Practically Achievable Information-Theoretic Approach
Submitted by grigby1 on Mon, 03/05/2018 - 12:08pm
pubcrawl
malicious user security
Measurement
Metrics
perfect secrecy
Probabilistic logic
Probabilistic Model Checker
Probabilistic Model Checking
probability
information-theoretic security
Reliability
reliability assessment
resilience
Resiliency
security
Security Metrics
spread spectrum communication
attack algorithms
information theory
heterogeneous distributed storage system security
formal verification
erasure codes
encryption
distributed storage systems
distributed memory systems
Cryptography
cryptographic/information-theoretic approach
Computing Theory
Compositionality
coding theory
classical cryptographic approach
caching systems
cache storage
file
Impact of Policy Design on Workflow Resiliency Computation Time
Submitted by amyclay on Wed, 11/11/2015 - 5:38pm
Science of Security
Probabilistic Model Checker
Science of Security
UIUC
User availability
Workflow Satisfiability Problem
NSA SoS Lablets Materials
UIUC
NSA SoS Lablets Materials
Data-Driven Model-Based Decision-Making
biblio
Impact of Policy Design on Workflow Resiliency Computation Time
Submitted by amyclay on Wed, 11/11/2015 - 5:38pm
Science of Security
NSA SoS Lablets Materials
Probabilistic Model Checker
Science of Security
UIUC
User availability
Workflow Satisfiability Problem
UIUC
NSA SoS Lablets Materials
Data-Driven Model-Based Decision-Making
file
Modelling User Availablity in Workflow Resiliency Analysis
Submitted by amyclay on Wed, 11/11/2015 - 5:26pm
Science of Security
Simulation
Markov Decision Process
Probabilistic Model Checker
Science of Security
UIUC
Workflow Satisfiability Problem
NSA SoS Lablets Materials
simulation
UIUC
NSA SoS Lablets Materials
Data-Driven Model-Based Decision-Making
biblio
Modelling User Availability in Workflow Resiliency Analysis
Submitted by amyclay on Wed, 11/11/2015 - 5:26pm
Science of Security
Simulation
Markov Decision Process
NSA SoS Lablets Materials
Probabilistic Model Checker
Science of Security
simulation
UIUC
Workflow Satisfiability Problem
UIUC
NSA SoS Lablets Materials
Data-Driven Model-Based Decision-Making