Towards the modelling of secure pervasive computing systems: A paradigm of Context-Aware Secure Action System
详细信息 查看全文
- 作者：Franç ; ois Siewe fsiewe@dmu.ac.uk" class="auth_mail" title="E-mail the corresponding author Author Vitae
- 关键词：Access control ; Context-aware ; Pervasive systems ; Secure action system ; Compositional verification
- 刊名：Journal of Parallel and Distributed Computing
- 出版年：2016
- 出版时间：January 2016
- 年：2016
- 卷：87
- 期：Complete
- 页码：121-144
- 全文大小：731 K
文摘
- •
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.