Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro. SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. Electronic Notes in Theoretical Computer Science, 68(3):310-327, 2003. [doi]
Abstract is missing.