Security types for dynamic web data

DOI10.1016/j.tcs.2008.04.032zbMath1146.68014OpenAlexW1982612370WikidataQ115036548 ScholiaQ115036548MaRDI QIDQ935467

Daniele Varacca, Silvia Ghilezan, Jovanka Pantović, Mariangiola Dezani-Ciancaglini

Publication date: 6 August 2008

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.04.032

zbMATH Keywords

XMLpi-calculussecurity typesdynamic web data

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Combining behavioural types with security analysis ⋮ Linked data privacy ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Types for Role-Based Access Control of Dynamic Web Data

Uses Software

• KLAIM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of mobile processes. II
• Types for access control
• Resource access control in systems of mobile agents
• Formalising Java RMI with explicit code mobility
• Types for the ambient calculus
• Modelling dynamic web data
• The seal calculus
• Security Types for Dynamic Web Data
• Typed behavioural equivalences for processes in the presence of subtyping
• Behavioral equivalence in the polymorphic pi-calculus
• Processes, Terms and Cycles: Steps on the Road to Infinity

This page was built for publication: Security types for dynamic web data