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

Control loops wherein communication channels are used for information exchange are called networked control systems (NCSs). Modeling of networked and complex control systems has been identified as the future directions of research in control systems. In this paper, we present a hybrid systems framework for modeling networked control systems. Later, we present the conditions for stabilizability ...