Now showing items 1-4 of 4
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 ...
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)