Assured Cloud Computing -

. .

Résumé :
..

Biographie:
..

Sommaire:
Preface Editor Biographies List of Contributors Chapter 1: Introduction Roy H. Campbell Chapter 2: Survivability: Design, Formal Modeling, and Validation of Cloud Storage Systems using Maude Rakesh Bobba, Jon Groz, Indranil Gupta, Si Liu, Jos? Mesegue, Peter Csaba ?lveczky and Stephen Skeirik Chapter 3: Risks and Benefits: Game-Theoretical Analysis and Algorithm for Virtual Machine Security Management in the Cloud Luke Kwiat, Charles A. Kamhoua, Kevin A. Kwiat and Jian Tang Chapter 4: Detection and Security: Achieving Resiliency by Dynamic and Passive System Monitoring and Smart Access Control Zbigniew Kalbarczyk In collaboration with Rakesh Bobba, Domenico Cotroneo, Fei Deng, Zachary Estrada, Jingwei Huang, Jun Ho Huh, Ravishankar K. Iyer, David M. Nicol, Cuong Pham, Antonio Pecchia, Aashish Sharma, Gary Wang and Lok Yan Chapter 5: Scalability, Workloads, and Performance: Replication, Popularity, Modeling, and Geo-Distributed File Store Roy H. Campbell, in collaboration with Shadi A. Noghabi and Cristina L. Abad Chapter 6: Resource Management: Performance Assuredness in Distributed Cloud Computing via Online Reconfigurations Mainak Ghosh, Le Xu and Indranil Gupta Chapter 7: Theoretical Considerations: Inferring and Enforcing Use Patterns for Mobile Cloud Assurance Gul Agha, Minas Charalambides, Kirill Mechitov, Karl Palmskog, Atul Sandur and Reza Shiftehfar Chapter 8: Certifications Past and Future: A Future Model for Assigning Certifications that Incorporate Lessons Learned from Past Practices Masooda Bashir, Carlo Di Giulio and Charles A. Kamhoua Chapter 9: Summary and Future Work Index