1134 search results - page 56 / 227 » Distributed Proving in Access-Control Systems |
115
click to vote
VEE
2005
ACM
15 years 8 months ago
2005
ACM
Desktop distributed computing allows companies to exploit the idle cycles on pervasive desktop PC systems to increase the available computing power by orders of magnitude (10x - 1...
162
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
145
click to vote
BIRTHDAY
2008
Springer
15 years 5 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...
138
click to vote
NSDI
2010
15 years 4 months ago
2010
We present Airavat, a MapReduce-based system which provides strong security and privacy guarantees for distributed computations on sensitive data. Airavat is a novel integration o...
161
click to vote
LICS
2012
IEEE
13 years 5 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...