688 search results - page 1 / 138 » A Calculus for Access Control in Distributed Systems |
ICFP
2006
ACM
14 years 5 months ago
2006
ACM
The Dependency Core Calculus (DCC) is an extension of the computational lambda calculus that was designed in order to capture the notion of dependency that arises in information-f...
CRYPTO
1991
Springer
13 years 9 months ago
1991
Springer
TACS
2001
Springer
13 years 10 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
CONCUR
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. We develop a variant of Gordon and Hankin's concurrent object calculus with support for flexible access control on methods. We investigate safe administration and ac...
ESOP
2004
Springer
13 years 11 months ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...