عنوان
پدید آورنده
موضوع
رده
QA76.585 .A87 2018eb
QA76
.
585
.
A87
2018eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1119428483
(Number (ISBN
1119428505
(Number (ISBN
9781119428480
(Number (ISBN
9781119428503
Erroneous ISBN
1119428637
Erroneous ISBN
9781119428503
Erroneous ISBN
9781119428633
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Assured cloud computing /
General Material Designation
[Book]
First Statement of Responsibility
edited by Roy H. Campbell, Charles A. Kamhoua, Kevin A. Kwiat.
EDITION STATEMENT
Edition Statement
First edition.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Hoboken, NJ :
Name of Publisher, Distributor, etc.
IEEE Computer Society, Inc./Wiley,
Date of Publication, Distribution, etc.
2018.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
CONTENTS NOTE
Text of Note
Assured Cloud Computing; Table of Contents; Preface; Editors' Biographies; List of Contributors; Chapter 1: Introduction; 1.1 Introduction; 1.1.1 Mission-Critical Cloud Solutions for the Military; 1.2 Overview of the Book; References; Chapter 2: Survivability: Design, Formal Modeling, and Validation of Cloud Storage Systems Using Maude; 2.1 Introduction; 2.1.1 State of the Art; 2.1.2 Vision: Formal Methods for Cloud Storage Systems; 2.1.3 The Rewriting Logic Framework; 2.1.4 Summary: Using Formal Methods on Cloud Storage Systems; 2.2 Apache Cassandra.
Text of Note
2.3 Formalizing, Analyzing, and Extending Google's Megastore2.3.1 Specifying Megastore; 2.3.2 Analyzing Megastore; 2.3.2.1 Megastore-CGC; 2.4 RAMP Transaction Systems; 2.5 Group Key Management via ZooKeeper; 2.5.1 Zookeeper Background; 2.5.2 System Design; 2.5.3 Maude Model; 2.5.4 Analysis and Discussion; 2.6 How Amazon Web Services Uses Formal Methods; 2.6.1 Use of Formal Methods; 2.6.2 Outcomes and Experiences; 2.6.3 Limitations; 2.7 Related Work; 2.8 Concluding Remarks; 2.8.1 The Future; Acknowledgments; References.
Text of Note
4.5.1 Hypervisor Introspection4.5.1.1 VMI Monitor; 4.5.1.2 VM Suspend Side-Channel; 4.5.1.3 Limitations of Hypervisor Introspection; 4.5.2 Evading VMI with Hypervisor Introspection; 4.5.2.1 Insider Attack Model and Assumptions; 4.5.2.2 Large File Transfer; 4.5.3 Defenses against Hypervisor Introspection; 4.5.3.1 Introducing Noise to VM Clocks; 4.5.3.2 Scheduler-Based Defenses; 4.5.3.3 Randomized Monitoring Interval; 4.5.4 Summary; 4.6 Identifying Compromised Users in Shared Computing Infrastructures; 4.6.1 Target System and Security Data; 4.6.1.1 Data and Alerts.
0
8
8
SUMMARY OR ABSTRACT
Text of Note
Explores themes that drive individual contributions, including design correctness, support for big data and analytics, monitoring and detection, network considerations, and performance - Synthesizes highly cited earlier work (on topics including DARE, trust mechanisms, and elastic graphs) as well as newer research findings on topics including R-Storm, and RAMP transactions - Addresses assured cloud computing concerns such as game theory, stream processing, storage, algorithms, workflow, scheduling, access control, formal analysis of safety, and streaming Marketing Description: IEEE Computer Society, the IEEE Reliability Society, and the IEEE Systems, Man, and Cybernetics Society--
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Wiley
Stock Number
9781119428480
OTHER EDITION IN ANOTHER MEDIUM
Title
Assured cloud computing.
International Standard Book Number
9781119428633
TOPICAL NAME USED AS SUBJECT
Cloud computing.
Cloud computing.
COMPUTERS-- Computer Literacy.
COMPUTERS-- Computer Science.
COMPUTERS-- Data Processing.
COMPUTERS-- Hardware-- General.
COMPUTERS-- Information Technology.
COMPUTERS-- Machine Theory.
COMPUTERS-- Reference.
(SUBJECT CATEGORY (Provisional
COM-- 013000
COM-- 014000
COM-- 018000
COM-- 032000
COM-- 037000
COM-- 052000
COM-- 067000
DEWEY DECIMAL CLASSIFICATION
Number
004
.
67/82
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
585
Book number
.
A87
2018eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Campbell, Roy Harold
Kamhoua, Charles A.
Kwiat, Kevin A.
ORIGINATING SOURCE
Date of Transaction
20200822153833.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
