688 search results - page 54 / 138 » A Calculus for Access Control in Distributed Systems |
WIAS
2008
13 years 9 months ago
2008
This paper describes the development of a distributed multi-agent workflow enacting mechanism starting from a BPEL4WS[BPE03] specification. Our work demonstrates that a multi-agent...
LCPC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Partitioned Global Address Space (PGAS) languages offer an attractive, high-productivity programming model for programming large-scale parallel machines. PGAS languages, ...
CCS
2007
ACM
14 years 3 months ago
2007
ACM
A Distributed Information Brokering System (DIBS) is a peer-to-peer overlay network that comprises diverse data servers and brokering components helping client queries locate the ...
CL
2007
Springer
13 years 9 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
SRDS
2003
IEEE
14 years 2 months ago
2003
IEEE
We demonstrate that symmetric-key cryptography can be used for both read and write access control. One-time write access can be granted by handing over an encryption key, and our ...