Types for Role-Based Access Control of Dynamic Web Data

DOI10.1007/978-3-642-20775-4_1zbMath1327.68169OpenAlexW2130259390MaRDI QIDQ3003511

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović

Publication date: 27 May 2011

Published in: Functional and Constraint Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-20775-4_1

Mathematics Subject Classification ID

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

Related Items (6)

Dynamic role authorization in multiparty conversations ⋮ Discretionary Information Flow Control for Interaction-Oriented Specifications ⋮ Combining behavioural types with security analysis ⋮ Linked data privacy ⋮ Unnamed Item ⋮ Global types with internal delegation

Uses Software

• SafeDpi

Cites Work

• Unnamed Item
• Unnamed Item
• Role-based access control for boxed ambients
• Security types for dynamic web data
• Resource access control in systems of mobile agents
• Behavioural equivalences for dynamic web data
• Types for the ambient calculus
• Modelling dynamic web data
• The seal calculus
• Communication and mobility control in boxed ambients
• safeDpi: a language for controlling mobile code
• A Distributed Pi-Calculus
• Types for ambient and process mobility
• Boxed ambients with communication interfaces

This page was built for publication: Types for Role-Based Access Control of Dynamic Web Data