Security types for dynamic web data

DOI10.1016/J.TCS.2008.04.032MaRDI QIDQ935467zbMATH OpenOpenAlexWikidataFDO

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

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

dynamic web datapi-calculussecurity typesXML

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)

Recommendations

• Security Types for Dynamic Web Data
• Types for role-based access control of dynamic web data
• A type inference algorithm for secure ambients
• The security pi-calculus and non-interference
• scientific article; zbMATH DE number 2043318

Cites work

• A calculus of mobile processes. II
• Behavioral equivalence in the polymorphic pi-calculus
• Formalising Java RMI with explicit code mobility
• scientific article; zbMATH DE number 1692931 (Why is no real title available?)
• scientific article; zbMATH DE number 2163044 (Why is no real title available?)
• Modelling dynamic web data
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Resource access control in systems of mobile agents
• Security Types for Dynamic Web Data
• The -calculus: A theory of mobile processes
• The seal calculus
• Typed behavioural equivalences for processes in the presence of subtyping
• Types for access control
• Types for the ambient calculus

Cited in

(5)

• Linked data privacy
• Types for role-based access control of dynamic web data
• Security Types for Dynamic Web Data
• Combining behavioural types with security analysis
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

Describes a project that uses

Uses Software

• KLAIM

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q935467)