Towards the modelling of secure pervasive computing systems: A paradigm of Context-Aware Secure Action System
Propose CASAS, a paradigm for modelling secure pervasive computing systems. Present the syntax and a formal semantics for CASAS. Present an algorithm for checking system consistency statically (i.e.at compile time). Define a set of operators for building complex CASAS systems from simpler ones in a compositional manner. Demonstrate the pragmatics of the proposed formalism using a number of real-world case studies.
context-aware secure action system access control pervasive systems compositional verification