DC FieldValueLanguage
dc.contributor.authorDezani-Ciancaglini, Mariangiolaen
dc.contributor.authorGhilezan, Silviaen
dc.contributor.authorPantović, Jovankaen
dc.contributor.authorVaracca, Danieleen
dc.date.accessioned2020-05-02T16:42:21Z-
dc.date.available2020-05-02T16:42:21Z-
dc.date.issued2008-08-08en
dc.identifier.issn0304-3975en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/2599-
dc.description.abstractWe describe a type system for the X d π calculus of Gardner and Maffeis. An X d π-network is a network of locations, where each location consists of both a data tree (which contains scripts and pointers to nodes in trees at different locations) and a process, for modeling process interaction, process migration and interaction between processes and data. Our type system is based on types for locations, data and processes, expressing security levels. A tree can store data of different security level, independently from the security level of the enclosing location. The access and mobility rights of a process depend on the security level of the "source" location of the process itself, i.e. of the location where the process was in the initial network or where the process was created by the activation of a script. The type system enjoys type preservation under reduction (subject reduction). In consequence of subject reduction we prove the following security properties. In a well-typed X d π-network, a process P whose source location is of level h can copy data of security level at most h and update data of security level less than h. Moreover, the process P can only communicate data and go to locations of security level equal or less than h.en
dc.publisherElsevier-
dc.relationFP6-2004-510996 Coordination Action TYPES-
dc.relationGLORA 144029 of MSEP-
dc.relationANR project “ParSec” ANR-06-SETI-010-02-
dc.relationMMIT 1438 of PSNTR-
dc.relation.ispartofTheoretical Computer Scienceen
dc.subjectDynamic web data | Pi-calculus | Security types | XMLen
dc.titleSecurity types for dynamic web dataen
dc.typeArticleen
dc.identifier.doi10.1016/j.tcs.2008.04.032en
dc.identifier.scopus2-s2.0-46649115490en
dc.relation.firstpage156en
dc.relation.lastpage171en
dc.relation.issue2-3en
dc.relation.volume402en
dc.description.rankM22-
item.openairetypeArticle-
item.cerifentitytypePublications-
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.grantfulltextnone-
crisitem.author.orcid0000-0003-2253-8285-
Show simple item record

SCOPUSTM   
Citations

4
checked on Jun 14, 2024

Page view(s)

42
checked on May 9, 2024

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.