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
» JAN'15
Jan'15
tearline
Data-Driven Model-Based Decision-Making - January 2015
Submitted by awhitesell on Fri, 01/09/2015 - 12:03pm
Approved by NSA
Metrics
Human Behavior
UIUC
Data-Driven Model-Based Decision-Making
FY14-18
Jan'15
biblio
Cupid: Commitments in Relational Algebra
Submitted by mpsingh on Thu, 01/08/2015 - 8:24pm
Formal Specification and Analysis of Security-Critical Norms and Policies
Jan'15
NCSU
Policy-Governed Secure Collaboration
Scalability and Composability
Scalability and Composability
Policy-Governed Secure Collaboration
NCSU
Formal Specification and Analysis of Security-Critical Norms and Policies
Jan'15
tearline
Empirical Models for Vulnerability Exploits - UMD - January 2015
Submitted by tdumitra on Thu, 01/08/2015 - 7:56am
Approved by NSA
Metrics
UMD
Empirical Models for Vulnerability Exploits
FY14-18
Jan'15
tearline
Human Behavior and Cyber Vulnerabilities - UMD - January 2015
Submitted by tdumitra on Thu, 01/08/2015 - 7:40am
Approved by NSA
Metrics
Human Behavior
UMD
Human Behavior and Cyber Vulnerabilities
FY14-18
Jan'15
tearline
Understanding Developers' Reasoning about Privacy and Security - UMD - January 2015
Submitted by kshilton on Mon, 01/05/2015 - 8:51pm
Approved by NSA
Human Behavior
UMD
Understanding Developers' Reasoning about Privacy and Security
FY14-18
Jan'15
tearline
Trustworthy and Composable Software Systems with Contracts - UMD - January 2015
Submitted by dvanhorn on Mon, 01/05/2015 - 3:22pm
Approved by NSA
Scalability and Composability
UMD
Trustworthy and Composable Software Systems with Contracts
FY14-18
Jan'15
tearline
Does the Presence of Honest Users Affect Intruders' Behavior? - UMD - January 2015
Submitted by Michel Cukier on Mon, 01/05/2015 - 12:45pm
Approved by NSA
Human Behavior
UMD
Does the Presence of Honest Users Affect Intruders' Behavior
FY14-18
Jan'15
tearline
Reasoning about Protocols with Human Participants - UMD - January 2015
Submitted by poorvi on Sun, 01/04/2015 - 2:02pm
Approved by NSA
Human Behavior
UMD
Reasoning about Protocols with Human Participants
FY14-18
Jan'15
tearline
Verification of Hyperproperties - UMD - January 2015
Submitted by clarksmr on Sat, 01/03/2015 - 7:20pm
Approved by NSA
Scalability and Composability
UMD
Verification of Hyperproperties
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
« first
‹ previous
1
2
3
4
5
next ›
last »
