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
» JULY'16
July'16
biblio
Coco: Runtime Reasoning about Conflicting Commitments
Submitted by mpsingh on Mon, 06/20/2016 - 12:49pm
Commitments
Formal Specification and Analysis of Security-Critical Norms and Policies
July'16
NCSU
Norms
Policy-Governed Secure Collaboration
reasoning about conflicts
Policy-Governed Secure Collaboration
NCSU
Formal Specification and Analysis of Security-Critical Norms and Policies
July'16
tearline
USE: User Security Behavior (CMU/Berkeley/University of Pittsburgh Collaborative Proposal) - July 2016
Submitted by Jamie Presken on Wed, 06/15/2016 - 8:52am
Approved by NSA
Human Behavior
CMU
A Language and Framework for Development of Secure Mobile Applications
Highly Configurable Systems
Multi-Model Run-Time Security Analysis
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'16
tearline
SoS Quarterly Summary Report - NCSU - July 2016
Submitted by drwright on Mon, 06/13/2016 - 9:33am
Round 2 Projects
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
NCSU
A Human Information-Processing Analysis of Online Deception Detection
Attack Surface and Defense-in-Depth Metrics
Automated Synthesis of Resilient Architectures
Formal Specification and Analysis of Security-Critical Norms and Policies
Leveraging the Effects of Cognitive Function on Input Device Analytics to Improve Security
Redundancy for Network Intrusion Prevention Systems (NIPS)
Resilience Requirements, Design, and Testing
Scientific Understanding of Policy Complexity
Smart Isolation in Large-Scale Production Computing Infrastructures
Systematization of Knowledge from Intrusion Detection Models
Understanding the Effects of Norms and Policies on the Robustness, Liveness, and Resilience of Systems
Vulnerability and Resilience Prediction Models
Warning of Phishing Attacks: Supporting Human Information Processing, Identifying Phishing Deception Indicators & Reducing Vuln.
July'16
tearline
Privacy Incidents Database - July 2016
Submitted by drwright on Mon, 06/13/2016 - 9:31am
Privacy Incidents Database
Approved by NSA
Policy-Governed Secure Collaboration
NCSU
Privacy Incidents Database
FY14-18
July'16
tearline
NCSU SoS Lablet Evaluation - July 2016
Submitted by drwright on Mon, 06/13/2016 - 9:27am
Approved by NSA
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
NCSU
NCSU PROJECTS:(select all that apply)
FY14-18
July'16
tearline
NCSU SoS Lablet Research Methods, Community Development and Support - July 2016
Submitted by drwright on Mon, 06/13/2016 - 9:24am
Approved by NSA
Policy-Governed Secure Collaboration
Metrics
Resilient Architectures
Human Behavior
NCSU
NCSU PROJECTS:(select all that apply)
FY14-18
July'16
tearline
Automated Synthesis of Resilient Architectures - July 2016
Submitted by drwright on Mon, 06/13/2016 - 9:22am
Automated Synthesis of Resilient Architectures
Approved by NSA
Resilient Architectures
NCSU
Automated Synthesis of Resilient Architectures
FY14-18
July'16
tearline
Resilience Requirements, Design, and Testing - July 2016
Submitted by drwright on Mon, 06/13/2016 - 9:20am
Resilience Requirements, Design, and Testing
Approved by NSA
Metrics
Resilient Architectures
NCSU
Resilience Requirements, Design, and Testing
FY14-18
July'16
tearline
Scientific Understanding of Policy Complexity - July 2016
Submitted by drwright on Mon, 06/13/2016 - 9:19am
Scientific Understanding of Policy Complexity
Approved by NSA
Policy-Governed Secure Collaboration
Human Behavior
NCSU
Scientific Understanding of Policy Complexity
FY14-18
July'16
tearline
Formal Specification and Analysis of Security-Critical Norms and Policies - July 2016
Submitted by drwright on Mon, 06/13/2016 - 9:17am
Approved by NSA
Scalability and Composability
Policy-Governed Secure Collaboration
NCSU
Formal Specification and Analysis of Security-Critical Norms and Policies
FY14-18
July'16
« first
‹ previous
1
2
3
4
5
next ›
last »
