Due to the advent of eventually consistent storage systems, consistency has become a focus of research. Still, a clear overview of consistency in distributed systems is missing. In this work, we define and describe consistency, show how different consistency models and perspectives are related and briefly discuss how concrete consistency guarantees of a distributed storage system can be measured.

We model networked storage systems with distributed, cryptographically enforced file-access control in an applied pi calculus. The calculus contains cryptographic primitives and supports file-system constructs, including access revocation. We establish that the networked storage systems implement simpler, centralized storage specifications with local access-control checks. More specifically, we...

abstract— data grids are an important branch of gird computing which provide mechanisms for the management of large volumes of distributed data. energy efficiency has recently emerged as a hot topic in large distributed systems. the development of computing systems is traditionally focused on performance improvements driven by the demand of client's applications in scientific and business ...