A system architecture for context-aware mobile computing
A system architecture for context-aware mobile computing
Types for the ambient calculus
Information and Computation - IFIP TCS2000
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
Reasoning about Security in Mobile Ambients
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Towards a Better Understanding of Context and Context-Awareness
HUC '99 Proceedings of the 1st international symposium on Handheld and Ubiquitous Computing
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
The Role of Connectivity in Supporting Context-Sensitive Applications
HUC '99 Proceedings of the 1st international symposium on Handheld and Ubiquitous Computing
A Survey of Context-Aware Mobile Computing Research
A Survey of Context-Aware Mobile Computing Research
The AWARE architecture: supporting context-mediated social awareness in mobile cooperation
CSCW '04 Proceedings of the 2004 ACM conference on Computer supported cooperative work
Resource discovery in activity-based sensor networks
Mobile Networks and Applications
Context-Aware Computing Applications
WMCSA '94 Proceedings of the 1994 First Workshop on Mobile Computing Systems and Applications
Bigraphical models of context-aware systems
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
ICTAC'05 Proceedings of the Second international conference on Theoretical Aspects of Computing
The Calculus of Context-aware Ambients
Journal of Computer and System Sciences
Formalising security in ubiquitous and cloud scenarios
CISIM'12 Proceedings of the 11th IFIP TC 8 international conference on Computer Information Systems and Industrial Management
Hi-index | 0.00 |
We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computing agents can provide and discover contextual information and are owners of security policies. Simple access control to contextual information is not sufficient to insure confidentiality in Global Computing, therefore our security policies regulate agents' rights to the provision and discovery of contextual information over distributed flows of actions. A type system enforcing security policies by a combination of static and dynamic checking of mobile agents is provided, together with its type soundness.