Security Types for Dynamic Web Data

DOI10.1007/978-3-540-75336-0_17zbMath1211.68267OpenAlexW2124988610MaRDI QIDQ3608462

Jovanka Pantović, Mariangiola Dezani-Ciancaglini, Silvia Ghilezan

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

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Internet topics (68M11)

Related Items (3)

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

Cites Work

• A calculus of mobile processes. I
• Types for access control
• Resource access control in systems of mobile agents
• Types for the ambient calculus
• Modelling dynamic web data
• The seal calculus
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Unnamed Item
• Unnamed Item

This page was built for publication: Security Types for Dynamic Web Data