View in EDS PDF Full Text

Supporting Secure Coordination in SecSpaces.

Saved in:
Bibliographic Details
Title: Supporting Secure Coordination in SecSpaces.
Authors: Gorrieri, Roberto1 gorrieri@cs.unibo.it, Lucchi, Roberto1 lucchi@cs.unibo.it, Zavattaro, Gianluigi1 zavattar@cs.unibo.it
Source: Fundamenta Informaticae. 2006, Vol. 73 Issue 4, p479-506. 28p. 2 Diagrams.
Subjects: Computer security, LINDA (Computer system), Programming languages, Computer software development, Access control
Abstract: 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 that all the agents accessing the shared tuple space are trusted. Starting from a formalization of some typical security properties in the standard Linda coordination model, we present a novel data-driven coordination model which provides mechanisms to support the considered security properties. The first of these mechanisms supports logical partitions of the shared repository: in this way we can restrict the access to tuples stored inside a partition, simply by limiting the access to the partition itself. The second mechanism consists of adding to the tuples some extra information which permits to authenticate the producer of a tuple or to identify its reader/consumer. Finally, we support the possibility to define access control policies based on the kind of operations an agent performs on a tuple, thus discriminating between (destructive) input and (non-destructive) read permissions on each single tuple. [ABSTRACT FROM AUTHOR]
Copyright of Fundamenta Informaticae is the property of Polskie Towarzystwo Matematyczne and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 23247853
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Supporting Secure Coordination in SecSpaces.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Gorrieri%2C+Roberto%22">Gorrieri, Roberto</searchLink><relatesTo>1</relatesTo><i> gorrieri@cs.unibo.it</i><br /><searchLink fieldCode="AR" term="%22Lucchi%2C+Roberto%22">Lucchi, Roberto</searchLink><relatesTo>1</relatesTo><i> lucchi@cs.unibo.it</i><br /><searchLink fieldCode="AR" term="%22Zavattaro%2C+Gianluigi%22">Zavattaro, Gianluigi</searchLink><relatesTo>1</relatesTo><i> zavattar@cs.unibo.it</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Fundamenta+Informaticae%22">Fundamenta Informaticae</searchLink>. 2006, Vol. 73 Issue 4, p479-506. 28p. 2 Diagrams.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Computer+security%22">Computer security</searchLink><br /><searchLink fieldCode="DE" term="%22LINDA+%28Computer+system%29%22">LINDA (Computer system)</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software+development%22">Computer software development</searchLink><br /><searchLink fieldCode="DE" term="%22Access+control%22">Access control</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: 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 that all the agents accessing the shared tuple space are trusted. Starting from a formalization of some typical security properties in the standard Linda coordination model, we present a novel data-driven coordination model which provides mechanisms to support the considered security properties. The first of these mechanisms supports logical partitions of the shared repository: in this way we can restrict the access to tuples stored inside a partition, simply by limiting the access to the partition itself. The second mechanism consists of adding to the tuples some extra information which permits to authenticate the producer of a tuple or to identify its reader/consumer. Finally, we support the possibility to define access control policies based on the kind of operations an agent performs on a tuple, thus discriminating between (destructive) input and (non-destructive) read permissions on each single tuple. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Fundamenta Informaticae is the property of Polskie Towarzystwo Matematyczne and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=23247853
RecordInfo BibRecord:
  BibEntity:
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 28
        StartPage: 479
    Subjects:
      – SubjectFull: Computer security
        Type: general
      – SubjectFull: LINDA (Computer system)
        Type: general
      – SubjectFull: Programming languages
        Type: general
      – SubjectFull: Computer software development
        Type: general
      – SubjectFull: Access control
        Type: general
    Titles:
      – TitleFull: Supporting Secure Coordination in SecSpaces.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Gorrieri, Roberto
      – PersonEntity:
          Name:
            NameFull: Lucchi, Roberto
      – PersonEntity:
          Name:
            NameFull: Zavattaro, Gianluigi
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 15
              M: 11
              Text: 2006
              Type: published
              Y: 2006
          Identifiers:
            – Type: issn-print
              Value: 01692968
          Numbering:
            – Type: volume
              Value: 73
            – Type: issue
              Value: 4
          Titles:
            – TitleFull: Fundamenta Informaticae
              Type: main
ResultId 1