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
network analysis
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
biblio
Robustness of Network Metrics in the Context of Digital Communication Data
Submitted by Jamie Presken on Tue, 12/06/2016 - 8:35am
Apr'15
CMU
digital communication
network analysis
sampling
CMU
Apr'15
file
Lee_Robustness_JP.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 8:35am
Apr'15
CMU
digital communication
network analysis
sampling
file
Lee_Estimating_Centrality_Stats_JP.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 8:30am
Apr'15
CMU
graph typology
network analysis
sampling error
biblio
Estimating Centrality Statistics for Large Scale and Sampled Networks: Some Approaches and Complications
Submitted by Jamie Presken on Tue, 12/06/2016 - 8:30am
Apr'15
CMU
graph typology
network analysis
sampling error
CMU
Apr'15
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
biblio
Limiting Recertification in Highly Configurable Systems: Analyzing Interactions and Isolation among Configuration Options
Submitted by Jamie Presken on Wed, 01/14/2015 - 6:40am
certification
composability
configuration options
network analysis
Security Metrics
biblio
Limiting Recertification in Highly Configurable Systems: Analyzing Interactions and Isolation Among Configuration Options
Submitted by Pfeffer Juergen on Wed, 09/17/2014 - 5:32pm
Certification
Concurrency and Timing
ACM CCS
certification
composability
concurrency and timing
configuration options
cyber security
Formal Methods and Theory of Security
foundations
Logic and Verification
network analysis
Science of Security
Security Metrics
validation and verification
ACM CCS
Cyber Security
Formal Methods and Theory of Security
Logic and Verification
« first
‹ previous
1
2
3
next ›
last »
