Security Types for Dynamic Web Data

DOI10.1007/978-3-540-75336-0_17MaRDI QIDQ3608462zbMATH OpenOpenAlexFDO

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

Publication date 5 March 2009

Published in Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-75336-0_17

Mathematics Subject Classification ID

Internet topics (68M11) 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
• The security pi-calculus and non-interference
• scientific article; zbMATH DE number 1538026
• The security picalculus and non-interference (extended abstract)

Cites work

• A calculus of mobile processes. I
• scientific article; zbMATH DE number 1692931 (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
• The -calculus: A theory of mobile processes
• The seal calculus
• Types for access control
• Types for the ambient calculus

Cited in

(5)

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

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 Q3608462)