Analyzing and Improving Linux Kernel Memory Protection: A Model Checking Approach.
No Thumbnail Available
Files
Date
2010-04-27
Authors
Journal Title
Series/Report No.
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
Degree
Master of Science
Discipline
Computer Science
