Now showing items 1-10 of 17
CCA: a calculus of context-aware ambients.
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambients and introduces new constructs to enable ...
An Observation Model to Detect Security Violations in Web Services Environment
Growing violation activity makes monitoring of information technology resource systems day by day necessity. As a matter of importance, the popularity of surveillance systems increases with its associated systems. The ...
Deriving enforcement mechanisms for policies
Formal specification of an intelligent message notification service in infostation-based mLearning System using CCA
(Proceedings of CCIT'11, IEEE Press, 2011-10-27)
The Calculus of Context-aware Ambients (CCA in short) has been proposed as a notation that is suitable to model mobile applications that are context-aware. This paper considers a real-world case study of an infostation-based ...
Analysis and run-time verification of dynamic security policies.
The Calculus of context-aware ambients.
We present the Calculus of Context-aware Ambients (CCA in short) for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambients and introduces ...
A Formal design technique for real-time embedded systems development using duration calculus.
(IEEE Computer Society, 2004)
In this paper we present a syntactical approach for the design of real-time embedded systems. The require- ment of the system is specified as Duration Calculus formula over continuous state variables. We model discretization ...
Security management for mobile ad hoc network of networks (MANoN).
(IGI Publishing, 2010)