國立高雄大學圖資館 |

Language: English

Back

Practical security properties on com...

SpringerLink (Online service)

Practical security properties on commodity computing platformsthe uber extensible micro-hypervisor framework /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Practical security properties on commodity computing platformsby Amit Vasudevan.
Reminder of title:	the uber extensible micro-hypervisor framework /
Author:	Vasudevan, Amit.
Published:	Cham :Springer International Publishing :2019.
Description:	xix, 85 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Computer security.
Online resource:	https://doi.org/10.1007/978-3-030-25049-2
ISBN:	9783030250492$q(electronic bk.)

Practical security properties on commodity computing platformsthe uber extensible micro-hypervisor framework /
Vasudevan, Amit.

Practical security properties on commodity computing platformsthe uber extensible micro-hypervisor framework /[electronic resource] :by Amit Vasudevan. - Cham :Springer International Publishing :2019. - xix, 85 p. :ill., digital ;24 cm. - SpringerBriefs in computer science,2191-5768. - 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 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.

ISBN: 9783030250492$q(electronic bk.)

Standard No.: 10.1007/978-3-030-25049-2doiSubjects--Topical Terms:

184416
Computer security.

LC Class. No.: QA76.9.A25 / V37 2019

Dewey Class. No.: 005.8

Practical security properties on commodity computing platformsthe uber extensible micro-hypervisor framework /
LDR:03182nmm a2200337 a 4500 001 566606
003 DE-He213
005 20190920104923.0
006 m d
007 cr nn 008maaau
008 200429s2019 gw s 0 eng d
020 $a 9783030250492$q(electronic bk.)
020 $a 9783030250485$q(paper)
024 7 $a 10.1007/978-3-030-25049-2 $2 doi
035 $a 978-3-030-25049-2
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.A25 $b V37 2019
072 7 $a UR $2 bicssc
072 7 $a COM053000 $2 bisacsh
072 7 $a UR $2 thema
072 7 $a UTN $2 thema
082 0 4 $a 005.8 $2 23
090 $a QA76.9.A25 $b V341 2019
100 1 $a Vasudevan, Amit. $3 674756
245 1 0 $a Practical security properties on commodity computing platforms $h [electronic resource] : $b the uber extensible micro-hypervisor framework / $c by Amit Vasudevan.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a xix, 85 p. : $b ill., digital ; $c 24 cm.
490 1 $a SpringerBriefs in computer science, $x 2191-5768
520 $a 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 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.
650 0 $a Computer security. $3 184416
650 0 $a Computer software $x Verification. $3 184731
650 1 4 $a Systems and Data Security. $3 274481
650 2 4 $a Processor Architectures. $3 274498
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a SpringerBriefs in computer science. $3 559641
856 4 0 $u https://doi.org/10.1007/978-3-030-25049-2
950 $a Computer Science (Springer-11645)