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
configuration options
file
Kastner_Limiting_Recertification_CK.pdf
Submitted by Jamie Presken on Thu, 12/08/2016 - 8: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 - 8:46am
certification
CMU
composability
configuration options
July'14
network analysis
Security Metrics
CMU
July'14
file
Kastner_Limit_Recertification_CK.pdf
Submitted by Jamie Presken on Tue, 12/06/2016 - 8: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 - 8: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 - 7: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 - 6: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
file
Limiting Recertification in Highly Configurable Systems: Analyzing Interactions and Isolation among Configuration Options
Submitted by Pfeffer Juergen on Wed, 06/04/2014 - 9:44am. Contributors:
Christian Kästner
Jürgen Pfeffer
configuration options
network analysis
Academia
Poster
Poster Slides
Composition
Security Metrics
Security Certification
file
Limiting Recertification in Highly Configurable Systems: Analyzing Interactions and Isolation among Configuration Options (poster)
Submitted by Pfeffer Juergen on Wed, 06/04/2014 - 9:43am. Contributors:
Christian Kästner
Jürgen Pfeffer
Slides of this poster are available
here
.
configuration options
network analysis
HotSoS 2014
Academia
Poster
Posters
Posters
Security Metrics
Security Certification
file
Limiting Recertification in Highly Configurable Systems (slides)
Submitted by Heather Lucas on Tue, 06/03/2014 - 5:35pm. Contributors:
Christian Kästner
Jürgen Pfeffer
Certification
configuration options
network analysis
HotSoS 2014
Academia
Poster Slides
Presentation Slides
Security Metrics
Network Security
Security Certification
