688 search results - page 8 / 138 » A Calculus for Access Control in Distributed Systems |
CSUR
2008
14 years 11 months ago
2008
TCS
2008
14 years 11 months ago
2008
We develop a notion of spatial-behavioral typing suitable to discipline concurrent interactions and resource usage in distributed object systems. Our type structure reflects a res...
86
Voted
ACSAC
1999
IEEE
15 years 4 months ago
1999
IEEE
Decoupling authorization logic from application logic allows applications with fine-grain access control requirements to be independent from a particular access control policy and...
99
Voted
SAC
2005
ACM
15 years 5 months ago
2005
ACM
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to...
FOSSACS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...