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
Science of Security
biblio
Equilibrium analysis of multi-defender security games
Submitted by Katie Dey on Thu, 11/12/2015 - 12:43pm
Resilient Systems
Science of Security
Foundations
SURE Project
foundations
Hierarchical Coordination and Control
Resilient Systems
Science of decentralized security
Science of Security
Hierarchical Coordination and Control
Science of decentralized security
biblio
The Hedge Algorithm on a Continuum
Submitted by Katie Dey on Thu, 11/12/2015 - 12:37pm
Resilient Systems
Science of Security
Foundations
SURE Project
foundations
Hierarchical Coordination and Control
Resilient Systems
Science of decentralized security
Science of Security
Hierarchical Coordination and Control
Science of decentralized security
biblio
Better Malware Ground Truth: Techniques for Weighting Anti-Virus Vendor Labels
Submitted by Katie Dey on Thu, 11/12/2015 - 12:25am
Resilient Systems
Science of Security
Foundations
SURE Project
aggregating labels
anti-virus vendors
expectation-maximization
foundations
Hierarchical Coordination and Control
labeling problem
Resilient Systems
Science of decentralized security
Science of Security
Hierarchical Coordination and Control
Science of decentralized security
file
Resiliency Variance in Workflows with Choice
Submitted by amyclay on Wed, 11/11/2015 - 6:45pm
Science of Security
quantitative analysis
resiliency metrics
UIUC
Workflow Satisfiability Problem
NSA SoS Lablets Materials
Science of Security
UIUC
NSA SoS Lablets Materials
Data-Driven Model-Based Decision-Making
biblio
Resiliency Variance in Workflows with Choice
Submitted by amyclay on Wed, 11/11/2015 - 6:45pm
Science of Security
NSA SoS Lablets Materials
quantitative analysis
resiliency metrics
Science of Security
UIUC
Workflow Satisfiability Problem
UIUC
NSA SoS Lablets Materials
Data-Driven Model-Based Decision-Making
file
Impact of Policy Design on Workflow Resiliency Computation Time
Submitted by amyclay on Wed, 11/11/2015 - 6: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 - 6: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 - 6: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 - 6: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
file
On Massively Parallel Simulation of Large-Scale Fat-Tree Networks for HPC Systems and Data Centers
Submitted by amyclay on Wed, 11/11/2015 - 6:12pm. Contributors:
Ning Lu, Illinois Institute of Technology
Xian-He Sun, Illinois Institute of Technology
Dong Jin, Illinois Insitute of Technology
Science of Security
A Hypothesis Testing Framework for Network Security
network security
NSA SoS Lablets Materials
Science of Security
UIUC
UIUC
Network Security
NSA SoS Lablets Materials
A Hypothesis Testing Framework for Network Security
« first
‹ previous
…
40
41
42
43
44
45
46
47
48
…
next ›
last »
