Table of Contents

CHAPTER 2
Survivability: Design, Formal Modeling, and Validation of Cloud Storage Systems Using Maude (Pages: 10-48)
Rakesh Bobba Jon Grov Indranil Gupta Si Liu José Meseguer Peter Csaba Ölveczky Stephen Skeirik
CHAPTER 4
Detection and Security: Achieving Resiliency by Dynamic and Passive System Monitoring and Smart Access Control (Pages: 81-132)
Zbigniew Kalbarczyk 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 Lok Yan
CHAPTER 7
Theoretical Considerations: Inferring and Enforcing Use Patterns for Mobile Cloud Assurance (Pages: 237-276)
Gul Agha Minas Charalambides Kirill Mechitov Karl Palmskog Atul Sandur Reza Shiftehfar