| 书目名称 | Practical Security Properties on Commodity Computing Platforms |
| 副标题 | The uber eXtensible |
| 编辑 | Amit Vasudevan |
| 视频video | |
| 丛书名称 | 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 |
发表于 2025-3-21 16:20:02
