مشخصات کتاب

Assured cloud computing

ویرایش: First edition 
نویسندگان: Campbell. Roy Harold,  Kamhoua. Charles A.,  Kwiat. Kevin A  
سری:  
ISBN (شابک) : 9781119428503, 1119428483 
ناشر: IEEE Computer Society 
سال نشر: 2018 
تعداد صفحات: 359 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 15 مگابایت 

کلمات کلیدی مربوط به کتاب رایانش ابری مطمئن: رایانش ابری.,کامپیوتر -- سواد کامپیوتر.,کامپیوتر -- علوم کامپیوتر.,کامپیوتر -- پردازش داده.,کامپیوتر -- سخت افزار -- عمومی.,کامپیوتر -- فناوری اطلاعات.,کامپیوتر -- تئوری ماشین.,کامپیوتر - - ارجاع.

در صورت تبدیل فایل کتاب Assured cloud computing به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب رایانش ابری مطمئن نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب رایانش ابری مطمئن

مضامینی را کاوش می‌کند که مشارکت‌های فردی، از جمله صحت طراحی، پشتیبانی از داده‌های بزرگ و تجزیه و تحلیل، نظارت و شناسایی، ملاحظات شبکه، و عملکرد را بررسی می‌کند - کارهای قبلی بسیار مورد استناد (در موضوعاتی از جمله DARE، مکانیسم‌های اعتماد، و نمودارهای کشسان) و همچنین جدیدتر را ترکیب می‌کند. یافته‌های تحقیق در مورد موضوعاتی از جمله R-Storm و تراکنش‌های RAMP - به نگرانی‌های رایانش ابری مطمئن مانند نظریه بازی، پردازش جریان، ذخیره‌سازی، الگوریتم‌ها، گردش کار، زمان‌بندی، کنترل دسترسی، تجزیه و تحلیل رسمی ایمنی و جریان توضیحات بازاریابی: IEEE Computer Society، IEEE Reliability Society، و IEEE Systems, Man, and Cybernetics Society--   بیشتر بخوانید...
چکیده: مضامینی را بررسی می‌کند که مشارکت‌های فردی، از جمله صحت طراحی، پشتیبانی از داده‌های بزرگ و تجزیه و تحلیل، نظارت و شناسایی، ملاحظات شبکه، و عملکرد را افزایش می‌دهند - کارهای قبلی بسیار مورد استناد (در مورد موضوعاتی از جمله DARE، مکانیسم های اعتماد، و نمودارهای الاستیک) و همچنین یافته های تحقیقاتی جدیدتر در مورد موضوعاتی از جمله R-Storm و تراکنش های RAMP را ترکیب می کند - به نگرانی های مطمئن رایانش ابری مانند نظریه بازی، پردازش جریان، ذخیره سازی، الگوریتم‌ها، گردش کار، زمان‌بندی، کنترل دسترسی، تجزیه و تحلیل رسمی ایمنی و جریان توضیحات بازاریابی: IEEE Computer Society، IEEE Reliability Society، و IEEE Systems, Man, and Cybernetics Society

توضیحاتی درمورد کتاب به خارجی

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--  Read more...
Abstract: 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

فهرست مطالب

Content: 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. 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. 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.

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Financial Cryptography and Data Security: 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers

دانلود کتاب Statistical Abstracts of the United States 1950

دانلود کتاب Foundations of Adaptive Control

دانلود کتاب Зеленая аптека Кородецкого лечит заболевания нервной системы: Нервные дерматиты; Мигрень; Сезонные депрессии и др

دانلود کتاب Digital systems design with VHDL and synthesis