Security Types for Dynamic Web Data 1 Mariangiola Dezani-Ciancaglini a Silvia Ghilezan b (2008)
Jovanka Pantović, Daniele Varacca
We describe a type system for the Xdπ calculus of Gardner and Maffeis. An Xdπ-network is a network of locations, where each location consists of both a data tree (which contains scripts and...
HYPERCLONE LATTICE AND EMBEDDINGS (2008)
Jovanka Pantović, Biljana Rodić, Gradimir Vojvodić
Abstract. In this paper, hyperclone lattice is studied via three kinds of embeddings. One is from the clone lattice on A to the hyperclone lattice on A, the second is from the hyperclone lattice on A...
Security Types for Dynamic Web Data ⋆ (2008)
Mariangiola Dezani-ciancaglini, Silvia Ghilezan, Jovanka Pantović
Abstract. 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...