| 書目名稱 | Practical Security Properties on Commodity Computing Platforms |
| 副標題 | The uber eXtensible |
| 編輯 | Amit Vasudevan |
| 視頻video | http://file.papertrans.cn/754/753254/753254.mp4 |
| 叢書名稱 | SpringerBriefs in Computer Science |
| 圖書封面 |  |
| 描述 | This SpringerBrief discusses the uber eXtensible Micro-hypervisor Framework (uberXMHF), a novel micro-hypervisor system security architecture and framework that can isolate security-sensitive applications from other untrustworthy applications on commodity platforms, enabling their safe co-existence. uberXMHF, in addition, facilitates runtime monitoring of the untrustworthy components, which is illustrated in this SpringerBrief. uberXMHF focuses on three goals which are keys to achieving practical security on commodity platforms: (a) commodity compatibility (e.g., runs unmodified Linux and Windows) and unfettered access to platform hardware; (b) low trusted computing base and complexity; and (c) efficient implementation..uberXMHF strives to be a comprehensible, practical and flexible platform for performing micro-hypervisor research and development. uberXMHF encapsulates common hypervisor core functionality in a framework that allows developers and users to build custom micro-hypervisor based (security-sensitive) applications (called "uberapps"). The authors describe several uberapps that employ uberXMHF and showcase the framework efficacy and versatility. These uberapps span a wide |
| 出版日期 | Book 2019 |
| 關鍵詞 | Compositional verification; Extensible and verifiable micro-hypervisor; Verified trace properties on c |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-030-25049-2 |
| isbn_softcover | 978-3-030-25048-5 |
| isbn_ebook | 978-3-030-25049-2Series ISSN 2191-5768 Series E-ISSN 2191-5776 |
| issn_series | 2191-5768 |
| copyright | The Author(s), under exclusive license to Springer Nature Switzerland AG 2019 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-11 09:48
發(fā)表于 2025-3-21 16:20:02
