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
Non-Operational Testing
biblio
An Analysis of Fedora Security Profile
Submitted by vouk on Wed, 09/17/2014 - 6:32pm
Testing
Science of Security
Validation and Verification
Foundations
ACM CCS
cyber security
detection
Domain-Specific Security and Privacy Architectures
Fedora
Formal Methods and Theory of Security
foundations
Logic and Verification
Non-Operational Testing
prediction
Science of Security
security faults
Software and Application Security
testing
validation and verification
vulnerabilities
ACM CCS
Domain-Specific Security and Privacy Architectures
Cyber Security
Formal Methods and Theory of Security
Logic and Verification
Software and Application Security
file
An Analysis of Fedora Security Profile (slides)
Submitted by Laurie Williams on Wed, 06/04/2014 - 9:44am. Contributors:
Shweta Subramani
Mladen A. Vouk
Laurie A. Williams
Aleatoric
Attack Profile
epistemic
Non-Operational Testing
HotSoS 2014
Academia
Poster
Poster Slides
Poster Slides
file
An Analysis of Fedora Security Profile (poster)
Submitted by Laurie Williams on Wed, 06/04/2014 - 9:43am. Contributors:
Shweta Subramani
Mladen A. Vouk
Laurie A. Williams
Slides of the poster are available
here
.
Aleatoric
Attack Profile
epistemic
Non-Operational Testing
HotSoS 2014
Academia
Poster
Posters
Posters
