160 search results - page 1 / 32 » Secure Information Flow in Mobile Bootstrapping Process |
ICDCSW
2000
IEEE
13 years 8 months ago
2000
IEEE
BIRTHDAY
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. We present a Mobile-Ambients-based process calculus to describe context-aware computing in an infrastructure-based Ubiquitous Computing setting. In our calculus, computin...
IANDC
2008
13 years 4 months ago
2008
A variant of the Mobile Ambient calculus, called Boundary Ambients, is introduced, supporting the modelling of multi-level security policies. Ambients that may guarantee to proper...
SP
2007
IEEE
13 years 11 months ago
2007
IEEE
ENTCS
2007
13 years 4 months ago
2007
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...