Authors: Dezani-Ciancaglini, Mariangiola
Ghilezan, Silvia 
Pantović, Jovanka
Title: Security types for dynamic web data
Journal: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume: 4661 LNCS
First page: 263
Last page: 280
Conference: 2nd International Symposium on Trustworthy Global Computing, TGC 2006; Lucca; Italy; 7 November 2006 through 9 November 2006
Issue Date: 1-Dec-2007
Rank: M23
ISBN: 978-3-540-75333-9
ISSN: 0302-9743
DOI: 10.1007/978-3-540-75336-0_17
We describe a type system for the Xdπ calculus, introduced in [8]. An Xdπ-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 modelling process interaction, process migration and interaction between processes and data. Our type system is based on types for locations, trees and processes, expressing security levels. 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 Xdπ-network, data in a location are accessible only to processes in locations of equal or higher security level. Moreover, processes originating in a location can only go to locations of equal or less security level, with the exception of movements which are returns to the "source" location.
Publisher: Springer Link
Project: MMIT 1438 of PSNTR
FP6-2004-510996 Coordination Action TYPES
GLORA 144029 of MSEP

Show full item record


checked on May 18, 2024

Page view(s)

checked on May 9, 2024

Google ScholarTM




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