35 search results - page 1 / 7 » Security boundaries in mobile ambients |
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...
CL
2002
Springer
13 years 4 months ago
2002
Springer
A new notion of security boundary is introduced to model multilevel security policies in the scenario of mobile systems, within Cardelli and Gordon's "pure" mobile ...
POPL
1999
ACM
13 years 9 months ago
1999
ACM
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
AINA
2005
IEEE
13 years 10 months ago
2005
IEEE
Mobile code computation has lead to a new paradigm of distributed computation. A mobile process can move from site to site and interact with the resources as a local process. To p...
ENTCS
2002
13 years 4 months ago
2002
In the Mobile Ambients of Cardelli and Gordon an ambient is a unit for mobility, which may contain processes (data) and sub-ambients. Since the seminal work of Cardelli and Gordon...