Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
July'14
file
Kastner_Limiting_Recertification_CK.pdf
Submitted by Jamie Presken on Thu, 12/08/2016 - 7:48am
certification
CMU
composability
configuration options
July'14
network analysis
Security Metrics
biblio
Limiting Recertification in Highly Configurable Systems Analyzing Interactions and Isolation among Configuration Options
Submitted by Jamie Presken on Thu, 12/08/2016 - 7:46am
certification
CMU
composability
configuration options
July'14
network analysis
Security Metrics
CMU
July'14
file
Yu_SimRT_JA.pdf
Submitted by Jamie Presken on Wed, 12/07/2016 - 12:44pm
CMU
Concurrency
Data Races
July'14
Kernels
processes
testing
biblio
SimRT: An Automated Framework to Support Regression Testing for Data Races
Submitted by Jamie Presken on Wed, 12/07/2016 - 12:43pm
CMU
Concurrency
Data Races
July'14
Kernels
processes
testing
CMU
July'14
biblio
Building the security behavior observatory: an infrastructure for long-term monitoring of client machines
Submitted by Jamie Presken on Tue, 12/06/2016 - 1:57pm
CMU
July'14
CMU
July'14
file
Forget_Bldg_Sec_Behavior_Observatory_LC.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 1:57pm
CMU
July'14
file
Kastner_Limit_Recertification_CK.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 7:56am
certification
CMU
composability
configuration options
July'14
network analysis
Security Metrics
biblio
Analyzing Interactions and Isolation among Configuration Options
Submitted by Jamie Presken on Tue, 12/06/2016 - 7:56am
certification
CMU
composability
configuration options
July'14
network analysis
Security Metrics
CMU
July'14
file
Slankas_Discovering_Sec_Req.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 7:37am
Access Control
auditing
classification
CMU
constraints
July'14
natural language parsing
objectives
Requirements
security
templates
file
Hibshi_Framework_TB.pdf
Submitted by Jamie Presken on Mon, 12/05/2016 - 2:39pm
CMU
decision-making
July'14
Patterns
requirements analysis
security
Situation Awareness
1
2
3
4
next ›
last »
