From Flow Logic to Static Type Systems in Coordination Languages

Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Abstract

    Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and correctness of their interaction. Successful approaches to this problem have been based on type systems with dynamic checks; therefore, the correctness properties cannot be statically enforced. By contrast, static analysis approaches based on Flow Logic usually guarantee properties statically. In this paper we show how to combine these two approaches to obtain a static type system for describing secure access to tuple spaces and safe process migration for a dialect of the language Klaim.
    Original languageEnglish
    Title of host publicationCoordination Models and Languages : 10th International Conference, COORDINATION 2008
    Volume5052
    PublisherSpringer
    Publication date2008
    Pages100-116
    ISBN (Print)978-3-540-68264-6
    DOIs
    Publication statusPublished - 2008
    Event10th International Conference Coordination Models and Languages - Oslo, Norway
    Duration: 4 Jun 20086 Jun 2008
    Conference number: 10
    http://www.informatik.uni-trier.de/~ley/db/conf/coordination/coordination2008.html

    Conference

    Conference10th International Conference Coordination Models and Languages
    Number10
    Country/TerritoryNorway
    CityOslo
    Period04/06/200806/06/2008
    Internet address
    SeriesLecture Notes in Computer Science

    Bibliographical note

    This work has been supported by the EU project SENSORIA, IST-2005-016004.

    Fingerprint

    Dive into the research topics of 'From Flow Logic to Static Type Systems in Coordination Languages'. Together they form a unique fingerprint.

    Cite this