語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
到查詢結果
[ 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 platforms
the 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)
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9375430
電子資源
11.線上閱覽_V
電子書
EB QA76.9.A25 V37 2019
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入