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 - January 2015
Submitted by scherlis on Thu, 01/15/2015 - 1:19pm
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
FY14-18
Jan'15
biblio
Moving Target Defense for Hardening the Security of the Power System State Estimation
Submitted by drwright on Sun, 01/11/2015 - 4:54pm
Automated Synthesis of Resilient Architectures
false data injection attack
Jan'15
moving target defense
NCSU
Power Grid
Resilient Architectures
state estimation
Resilient Architectures
NCSU
Automated Synthesis of Resilient Architectures
Jan'15
biblio
A survey of common security vulnerabilities and corresponding countermeasures for SaaS
Submitted by drwright on Sun, 01/11/2015 - 4:27pm
Jan'15
NCSU
Resilience Requirements, Design, and Testing
Resilient Architectures
Resilient Architectures
NCSU
Resilience Requirements, Design, and Testing
Jan'15
tearline
SoS Quarterly Summary Report - Oct to Dec 2014 - January 2015
Submitted by awhitesell on Fri, 01/09/2015 - 4:43pm
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
UIUC
UIUC PROJECTS:
FY14-18
Jan'15
tearline
Data Driven Security Models and Analysis - January 2015
Submitted by awhitesell on Fri, 01/09/2015 - 2:03pm
Approved by NSA
Metrics
Resilient Architectures
Human Behavior
UIUC
Data Driven Security Models and Analysis
FY14-18
Jan'15
tearline
SoS Quarterly Summary Report - UMD - January 2015
Submitted by jkatz on Fri, 01/09/2015 - 1:53pm
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
UMD
Does the Presence of Honest Users Affect Intruders' Behavior
Empirical Models for Vulnerability Exploits
Human Behavior and Cyber Vulnerabilities
Reasoning about Protocols with Human Participants
Trust, Recommendation Systems, and Collaboration
Trustworthy and Composable Software Systems with Contracts
Understanding Developers' Reasoning about Privacy and Security
User-Centered Design for Security
Verification of Hyperproperties
FY14-18
Jan'15
tearline
A Hypothesis Testing Framework for Network Security - January 2015
Submitted by awhitesell on Fri, 01/09/2015 - 12:51pm
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
UIUC
A Hypothesis Testing Framework for Network Security
FY14-18
Jan'15
tearline
SoS Quarterly Summary Report - NCSU - January 2015
Submitted by drwright on Mon, 12/08/2014 - 12:22pm
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
NCSU
NCSU PROJECTS:(select all that apply)
FY14-18
Jan'15
tearline
Smart Isolation in Large-Scale Production Computing Infrastructures - January 2015
Submitted by drwright on Mon, 12/08/2014 - 12:20pm
Approved by NSA
Resilient Architectures
NCSU
Smart Isolation in Large-Scale Production Computing Infrastructures
FY14-18
Jan'15
tearline
NCSU SoS Lablet Evaluation - January 2015
Submitted by drwright on Mon, 12/08/2014 - 12:17pm
Approved by NSA
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
NCSU
NCSU PROJECTS:(select all that apply)
FY14-18
Jan'15
« first
‹ previous
…
18
19
20
21
22
23
24
25
26
…
next ›
last »
