Abstract | ||
---|---|---|
SecSpaces is a data-driven coordination model that supports a tuple-based coor- dination space extended with mechanisms for controlling and authenticating the access to entries. This is achieved exploiting the notion of (symmetric and asym- metric) abstract partitions inside the space. In this paper we consider one of the limitations of SecSpaces: it is not well suited for supporting the atomic access to more than one partition at once. In order to tackle this limitation we extend the SecSpaces model introducing an operator to combine partitions; output operations can use the new operator to make an entry visible in more than one partition, and data-retrieval operations can use it to access atomically more than one partition. We formally define, in terms of a process calculus, this notion and we demonstrate the flexibility of this new mechanism via examples. |
Year | DOI | Venue |
---|---|---|
2004 | 10.1016/j.entcs.2004.02.002 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
combining partitions,data retrieval,process calculus | Discrete mathematics,Authentication,Computer science,Tuple,Theoretical computer science,Operator (computer programming),Partition (number theory),Process calculus | Journal |
Volume | ISSN | Citations |
99, | Electronic Notes in Theoretical Computer Science | 0 |
PageRank | References | Authors |
0.34 | 10 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mario Bravetti | 1 | 794 | 55.04 |
Roberto Gorrieri | 2 | 2297 | 184.63 |
Roberto Lucchi | 3 | 583 | 39.10 |
Gianluigi Zavattaro | 4 | 1953 | 127.60 |