Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (4 chapters)
Keywords
- Compositional verification
- Extensible and verifiable micro-hypervisor
- Verified trace properties on commodity platforms
- Development compatible verification
- Verifiable object architecture (uber-objects)
- Security applications
- Salient security properties
- Cybersecurity
- micro-hypervisor
- uberapps
- uber eXtensible Micro-Hypervisor Framework (uberXMHF)
- Low-TCB micro-hypervisor framework
- Micro-Hypervisor System Security Architecture
- Micro-Hypervisor assisted security applications
- Micro-hypervisor key management
- Micro-hypervisor attestation
- Micro-hypervisor verifiable resource accounting
- Micro-hypervisor application compartmentalization
- Micro-hypervisor I/O isolaton
- Micro-hypervisor trusted-path
About this book
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 spectrum of security applications including application compartmentalization and sandboxing, attestation, approved code execution, key management, tracing, verifiable resource accounting, trusted-path and on-demand I/O isolation.
The authors are encouraged by the end result - a clean, barebones, low trusted computing base micro-hypervisor framework for commodity platforms with desirable performance characteristics and an architecture amenable to manual audits and/or formal reasoning. Active, open-source development of uberXMHF continues.
The primary audience for this SpringerBrief is system (security) researchers and developers of commodity system software. Practitioners working in system security deployment mechanisms within industry and defense, as well as advanced-level students studying computer science with an interest in security will also want to read this SpringerBrief.
Authors and Affiliations
About the author
He received his Ph.D. and M.S degrees from the Computer Science Department at UT Arlington and spent three yearsas a Post-doctoral fellow at CyLab, Carnegie Mellon University. Before that, he obtained his B.E. from the Computer Science Department at the BMS College of Engineering, Bangalore, India.
Bibliographic Information
Book Title: Practical Security Properties on Commodity Computing Platforms
Book Subtitle: The uber eXtensible Micro-Hypervisor Framework
Authors: Amit Vasudevan
Series Title: SpringerBriefs in Computer Science
DOI: https://doi.org/10.1007/978-3-030-25049-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Author(s), under exclusive license to Springer Nature Switzerland AG 2019
Softcover ISBN: 978-3-030-25048-5Published: 25 September 2019
eBook ISBN: 978-3-030-25049-2Published: 20 September 2019
Series ISSN: 2191-5768
Series E-ISSN: 2191-5776
Edition Number: 1
Number of Pages: XIX, 85
Number of Illustrations: 8 b/w illustrations