论文信息 - Security Issues in the Tuple-Space Coordination Model

Security Issues in the Tuple-Space Coordination Model

We present some security issues that emerge when the tuple-space coordination model is used in open systems. Then we describe SecSpaces, a tuple-space based language, which supports secure coordination in untrusted environments. Finally, we will discuss some real examples of applications interacting via tuple spaces by showing how to support some of the main security features with SecSpaces.

Mario Bravetti | Roberto Gorrieri | Nadia Busi | Gianluigi Zavattaro | Roberto Lucchi

[1] Amy L. Murphy,et al. LIME: a middleware for physical and logical mobility , 2001, Proceedings 21st International Conference on Distributed Computing Systems.

[2] Mario Bravetti,et al. A formal approach for checking security properties in SecSpaces , 2003, SecCo.

[3] Gruia-Catalin Roman,et al. Secure Sharing of Tuple Spaces in Ad Hoc Settings , 2003, SecCo.

[4] Rocco De Nicola,et al. KLAIM: A Kernel Language for Agents Interaction and Mobility , 1998, IEEE Trans. Software Eng..

[5] Gianluigi Zavattaro,et al. WSSecSpaces: a secure data-driven coordination service for Web Services applications , 2004, SAC '04.

[6] Jan Vitek,et al. Coordinating processes with secure spaces , 2003, Sci. Comput. Program..

[7] Alberto Montresor,et al. PeerSpaces: data-driven coordination in peer-to-peer networks , 2003, SAC '03.

[8] Roberto Gorrieri,et al. SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents , 2003, Electron. Notes Theor. Comput. Sci..