Security types for dynamic web data

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca. Security types for dynamic web data. Theoretical Computer Science, 402(2-3):156-171, 2008. [doi]

Abstract

Abstract is missing.