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
» CMU
CMU
tearline
Security Reasoning for Distributed Systems with Uncertainty (CMU/Cornell Collaborative Proposal) - October 2014
Submitted by Jamie Presken on Wed, 09/24/2014 - 6:36am
Approved by NSA
Scalability and Composability
Resilient Architectures
CMU
Security Reasoning for Distributed Systems with Uncertainty
FY14-18
tearline
Usable Formal Methods for the Design and Composition of Security and Privacy Policies (CMU/UTSA Collaborative Proposal) - October 2014
Submitted by Jamie Presken on Wed, 09/24/2014 - 6:35am
Approved by NSA
CMU
Usable Formal Methods for the Design and Composition of Security and Privacy Policies
FY14-18
tearline
Geo-Temporal Characterization of Security Threats - October 2014
Submitted by mdereno on Tue, 09/23/2014 - 10:45am
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
CMU
Geo-Temporal Characterization of Security Threats
FY14-18
Oct'14
tearline
Highly Configurable Systems - October 2014
Submitted by mdereno on Tue, 09/23/2014 - 10:33am
Approved by NSA
Scalability and Composability
CMU
Highly Configurable Systems
FY14-18
tearline
SoS Quarterly Summary Report - CMU - July 2014
Submitted by scherlis on Tue, 07/15/2014 - 4:10pm
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
July'14
tearline
Highly Configurable Systems
Submitted by mdereno on Mon, 07/07/2014 - 2:27pm
Approved by NSA
Scalability and Composability
Metrics
CMU
FY14-18
July'14
tearline
Geo-Temporal Characterization of Security Threats - July 2014
Submitted by mdereno on Mon, 06/30/2014 - 2:35pm
Approved by NSA
Policy-Governed Secure Collaboration
CMU
Geo-Temporal Characterization of Security Threats
FY14-18
July'14
tearline
Usable Formal Methods for the Design and Composition of Security and Privacy Policies (CMU/UTSA Collaborative Proposal) - July 2014
Submitted by mdereno on Tue, 06/24/2014 - 10:52am
Approved by NSA
CMU
Usable Formal Methods for the Design and Composition of Security and Privacy Policies
FY14-18
tearline
Security Reasoning for Distributed Systems with Uncertainty (CMU/Cornell Collaborative Proposal) - July 2014
Submitted by mdereno on Tue, 06/24/2014 - 10:35am
Approved by NSA
Scalability and Composability
Resilient Architectures
CMU
Security Reasoning for Distributed Systems with Uncertainty
FY14-18
tearline
Secure Composition of Systems and Policies - July 2014
Submitted by mdereno on Tue, 06/24/2014 - 10:20am
Approved by NSA
Scalability and Composability
CMU
Secure Composition of Systems and Policies
FY14-18
« first
‹ previous
…
22
23
24
25
26
27
28
29
30
next ›
last »
