Now showing items 1-7 of 7
Security management for mobile ad hoc network of networks (MANoN).
(IGI Publishing, 2010)
Access control mechanism for mobile ad hoc network of networks.
(IEEE Computer Society, 2010-03)
Dynamic Access Control Policies - Specification and Verification
(Oxford University Press, 2012)
Security requirements deal with the protection of assets against unauthorized access (disclosure or modification) and their availability to authorized users. Temporal constraints of history-based access control 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 ...
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 ...