Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
SoS Lablet Reports
CPS-VO
»
SoS Archives
»
SoS Lablet Reports
» RESILIENT ARCHITECTURES
Resilient Architectures
tearline
SoS Quarterly Summary Report - CMU - July 2015
Submitted by Jamie Presken on Mon, 07/20/2015 - 1:46pm
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
CMU
A Language and Framework for Development of Secure Mobile Applications
Epistemic Models for Security
Geo-Temporal Characterization of Security Threats
Highly Configurable Systems
Multi-Model Run-Time Security Analysis
Race Vulnerability Study and Hybrid Race Detection
Science of Secure Frameworks
Secure Composition of Systems and Policies
Security Reasoning for Distributed Systems with Uncertainty
Usable Formal Methods for the Design and Composition of Security and Privacy Policies
USE: User Security Behavior
July'15
tearline
SoS Quarterly Summary Report - UMD - July 2015
Submitted by jkatz on Mon, 07/13/2015 - 10:21am
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
UMD
UMD PROJECTS:
FY14-18
July'15
tearline
Data Driven Security Models and Analysis - July 2015
Submitted by amyclay on Wed, 07/08/2015 - 4:33pm
Approved by NSA
Metrics
Resilient Architectures
Human Behavior
UIUC
Data Driven Security Models and Analysis
FY14-18
July'15
tearline
A Hypothesis Testing Framework for Network Security - July 2015
Submitted by amyclay on Wed, 07/08/2015 - 2:46pm
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
UIUC
A Hypothesis Testing Framework for Network Security
FY14-18
July'15
tearline
SoS Quarterly Summary Report April to June 2015 - July 2015
Submitted by amyclay on Wed, 07/08/2015 - 10:31am
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
UIUC
A Hypothesis Testing Framework for Network Security
Data Driven Security Models and Analysis
Data-Driven Model-Based Decision-Making
Science of Human Circumvention of Security
Static-Dynamic Analysis of Security Metrics for Cyber-Physical Systems
FY14-18
July'15
tearline
NCSU SoS Lablet Evaluation - July 2015
Submitted by drwright on Wed, 06/17/2015 - 10:30am
Approved by NSA
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
NCSU
NCSU PROJECTS:(select all that apply)
FY14-18
July'15
tearline
NCSU SoS Lablet Research Methods, Community Development and Support - July 2015
Submitted by drwright on Wed, 06/17/2015 - 10:30am
Approved by NSA
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
NCSU
NCSU PROJECTS:(select all that apply)
FY14-18
July'15
tearline
Automated Synthesis of Resilient Architectures - July 2015
Submitted by drwright on Wed, 06/17/2015 - 10:30am
Automated Synthesis of Resilient Architectures
Approved by NSA
Resilient Architectures
NCSU
Automated Synthesis of Resilient Architectures
FY14-18
July'15
tearline
Resilience Requirements, Design, and Testing - July 2015
Submitted by drwright on Wed, 06/17/2015 - 10:29am
Resilience Requirements, Design, and Testing
Approved by NSA
Metrics
Resilient Architectures
NCSU
Resilience Requirements, Design, and Testing
FY14-18
July'15
tearline
Understanding Effects of Norms and Policies on the Robustness, Liveness, and Resilience of Systems - July 2015
Submitted by drwright on Wed, 06/17/2015 - 10:29am
Understanding Effects of Norms and Policies on the Robustness, Liveness, and Resilience of Systems
Approved by NSA
Policy-Governed Secure Collaboration
Resilient Architectures
NCSU
Understanding the Effects of Norms and Policies on the Robustness, Liveness, and Resilience of Systems
FY14-18
July'15
« first
‹ previous
…
14
15
16
17
18
19
20
21
22
…
next ›
last »
