Wei, Jinpeng and Zhu, Feng and Shinjo, Yasushi (2012) Static Analysis Based Invariant Detection for Commodity Operating Systems. In: 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing.
![[thumbnail of 13185.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "13185.pdf")
PDF
13185.pdf
Download (121kB)
Abstract
The recent interest in runtime attestation requires modeling of a program’s runtime behavior to formulate its integrity properties. In this paper, we study the possibility of employing static source code analysis to derive integrity models of a commodity operating systems kernel. We develop a precis
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 09:16 |
| Last Modified: | 18 Apr 2026 02:39 |
| URI: | http://eprints.eai.eu/id/eprint/4833 |
Actions (login required)
- View Item