Analyzing and Improving Linux Kernel Memory Protection: A Model Checking Approach.

Show full item record

Title: Analyzing and Improving Linux Kernel Memory Protection: A Model Checking Approach.
Author: Liakh, Siarhei
Advisors: Xuxian Jiang, Committee Chair
Rainer Mueller, Committee Member
Vincent Freeh, Committee Member
Date: 2010-04-27
Degree: Master of Science
Discipline: Computer Science
URI: http://www.lib.ncsu.edu/resolver/1840.16/5987


Files in this item

Files Size Format View
etd.pdf 628.5Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record