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

Simple item page
dc.contributor.advisorXuxian Jiang, Committee Chairen_US
dc.contributor.advisorRainer Mueller, Committee Memberen_US
dc.contributor.advisorVincent Freeh, Committee Memberen_US
dc.contributor.authorLiakh, Siarheien_US
dc.date.accepted2010-05-25en_US
dc.date.accessioned2010-05-26T07:00:13Z
dc.date.available2010-05-26T07:00:13Z
dc.date.defense2010-04-27en_US
dc.date.issued2010-04-27en_US
dc.date.released2010-05-26en_US
dc.date.reviewed2010-05-04en_US
dc.date.submitted2010-04-28en_US
dc.degree.disciplineComputer Scienceen_US
dc.degree.levelthesisen_US
dc.degree.nameMaster of Scienceen_US
dc.descriptionNorth Carolina State University Theses Computer Science.
dc.formatThesis (M.S.)--North Carolina State University.
dc.identifier.otherdeg21en_US
dc.identifier.urihttp://www.lib.ncsu.edu/resolver/1840.16/5987
dc.rightsI hereby certify that, if appropriate, I have obtained and attached hereto a written permission statement from the owner(s) of each third party copyrighted matter to be included in my thesis, dissertation, or project report, allowing distribution as specified below. I certify that the version I submitted is the same as that approved by my advisory committee. I hereby grant to NC State University or its agents the non-exclusive license to archive and make accessible, under the conditions specified below, my thesis, dissertation, or project report in whole or in part in all forms of media, now or hereafter known. I retain all other ownership rights to the copyright of the thesis, dissertation or project report. I also retain the right to use in future works (such as articles or books) all or part of this thesis, dissertation, or project report.en_US
dc.titleAnalyzing and Improving Linux Kernel Memory Protection: A Model Checking Approach.en_US
dcterms.extentvii, 87 pages : illustrations

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
etd.pdf
Size:
628.54 KB
Format:
Adobe Portable Document Format
Download

Collections

Theses