Klaim in the making

L Bettini, GL Ferrari, M Loreti, R Pugliese… - … Applications of Formal …, 2024 - Springer
Abstract On many occasions, Rocco De Nicola has shown an amazing ability to combine
different research topics to offer original results to seemingly different research problems …

WSSecSpaces: a secure data-driven coordination service for web services applications

R Lucchi, G Zavattaro - Proceedings of the 2004 ACM symposium on …, 2004 - dl.acm.org
Web Services standards and protocols (WSDL, UDDI, SOAP, etc.) are the basis of a novel
technology supporting Web based applications. Web Services are components offering …

Supporting secure coordination in SecSpaces

R Gorrieri, R Lucchi, G Zavattaro - Fundamenta Informaticae, 2006 - content.iospress.com
In this paper we investigate security problems which occur when exploiting a Linda-like data
driven coordination model in an open environment. In this scenario, there is no guarantee …

Object space with active objects

K Elms, S Milliner, JJP Vayssiere - US Patent 7,730,493, 2010 - Google Patents
(52) US Cl......... grgrrr. 71.9/316; 71.9/317 A technique for facilitating coordination of actions
by mul (58) Field of Classification Search................. 71.9/316, tiple programs involves …

Secure shared data-space coordination languages: A process algebraic survey

R Focardi, R Lucchi, G Zavattaro - Science of Computer Programming, 2006 - Elsevier
Shared data-space coordination languages, which provide a means to program interactions
between decoupled entities abstracting away from their internal behavior, represent a …

Providing data confidentiality against malicious hosts in Shared Data Spaces

G Russello, C Dong, N Dulay, M Chaudron… - Science of Computer …, 2010 - Elsevier
This paper focuses on the protection of the confidentiality of the data space content when
Shared Data Spaces are deployed in open, possibly hostile, environments. In previous …

Combining static analysis and runtime checking in security aspects for distributed tuple spaces

F Yang, T Aotani, H Masuhara, F Nielson… - … Models and Languages …, 2011 - Springer
Enforcing security policies to distributed systems is difficult, in particular, to a system
containing untrusted components. We designed AspectKE*, an aspect-oriented …

[图书][B] Capability-based coordination for open distributed systems

NI Udzir - 2006 - Citeseer
The tuple-space based model, also known as Linda, offers an alternative to the conventional
point-to-point communication framework with regard to coordinating and synchronising …

An architectural pattern to extend the interaction model between web-services: The location-based service context

P Álvarez, JA Bañares, PR Muro-Medrano - Service-Oriented Computing …, 2003 - Springer
Internet has succeeded as a global information system mainly because of its availability and
openness, and the simplicity of its standards and protocols. However, the current use of …

Tagged sets: a secure and transparent coordination medium

M Oriol, M Hicks - Coordination Models and Languages: 7th International …, 2005 - Springer
A simple and effective way of coordinating distributed, mobile, and parallel applications is to
use a virtual shared memory (VSM), such as a Linda tuple-space. In this paper, we propose …