219 search results - page 3 / 44 » Types for Access Control in a Calculus of Mobile Resources |
BIRTHDAY
2008
Springer
13 years 9 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...
ASIAN
2007
Springer
14 years 1 months ago
2007
Springer
CSFW
2006
IEEE
14 years 1 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
FSTTCS
2005
Springer
14 years 1 months ago
2005
Springer
We extend Howe’s method to prove that input-early strong and -delay contextual bisimulations are congruences for the Higher-order mobile embedded resources (Homer) calculus, a ty...
CONCUR
2007
Springer
14 years 1 months ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...