東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁 到查詢結果 [ subject:"Computer software- Verification." ]

切換: 標籤 | MARC模式 | ISBD

Practical security properties on com...

Vasudevan, Amit.

FindBook

Google Book

Amazon

博客來

Practical security properties on commodity computing platforms = the uber extensible micro-hypervisor framework /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Practical security properties on commodity computing platforms/ by Amit Vasudevan.
其他題名:	the uber extensible micro-hypervisor framework /
作者:	Vasudevan, Amit.
出版者:	Cham :Springer International Publishing : : 2019.,
面頁冊數:	xix, 85 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
標題:	Computer security. -
電子資源:	https://doi.org/10.1007/978-3-030-25049-2
ISBN:	9783030250492

Practical security properties on commodity computing platforms = the 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

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

540555
Computer security.

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

Dewey Class. No.: 005.8

Practical security properties on commodity computing platforms = the uber extensible micro-hypervisor framework /
LDR:03182nmm a2200337 a 4500 001 2193140
003 DE-He213
005 20190920104923.0
006 m d
007 cr nn 008maaau
008 200514s2019 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 2054585
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 540555
650 0 $a Computer software $x Verification. $3 828401
650 1 4 $a Systems and Data Security. $3 898223
650 2 4 $a Processor Architectures. $3 892680
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a SpringerBriefs in computer science. $3 1567571
856 4 0 $u https://doi.org/10.1007/978-3-030-25049-2
950 $a Computer Science (Springer-11645)