Towards the modelling of secure pervasive computing systems: A paradigm of Context-Aware Secure Action System (original) (raw)
Related papers
Programming Secure and Robust Pervasive Computing Applications
2008
Context-Sensitive Security Framework for Pervasive Environments
… , 2007. ECUMN'07. …, 2007
A policy language for a pervasive computing environment
Policies for Distributed Systems and …, 2003
A Secure Versatile Context Aware Framework for Pervasive Computing Environment
2017
Provably Correct Pervasive Computing Environments
2008 Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom), 2008
Context-Based Secure Resource Access in Pervasive Computing Environments
2004
A policy-based management framework for pervasive systems using axiomatized rule-actions
Network Computing and …, 2005
Towards the Verification of Pervasive Systems
eceasst.cs.tu-berlin.de
A Generic Service Architecture for Secure Ubiquitous Computing Systems
Int'l J. of Communications, Network and System Sciences, 2012
Towards the Realisation of Context-Risk-Aware Access Control in Pervasive Computing
Security issues with pervasive computing frameworks
2006
Secure Data Flow in a Calculus for Context Awareness
Lecture Notes in Computer Science, 2008
Enforcing policies in pervasive environments
The First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services, 2004. MOBIQUITOUS 2004., 2004
Context-Based Security (and Safety) Meta-Policies for Pervasive Computing Environments
2008
Support for situation awareness in trustworthy ubiquitous computing application software
Software - Practice and Experience, 2006
Introduction to special section on formal methods in pervasive computing
ACM Transactions on Autonomous and Adaptive Systems, 2012
A programming model for context-aware applications in large-scale pervasive systems
2012 IEEE 8th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), 2012