Type-based access control in data-centric systems

DOI10.1007/978-3-642-19718-5_8zbMATH Open1326.68082DBLPconf/esop/CairesPSVF11OpenAlexW1580968850WikidataQ57652409 ScholiaQ57652409MaRDI QIDQ3000577FDOQ3000577

Luís Caires, Hugo Torres Vieira, Jorge A. Pérez, Lúcio Ferrão, João Costa Seco

Publication date: 19 May 2011

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19718-5_8

Recommendations

• Types for role-based access control of dynamic web data
• Dependent information flow types
• scientific article; zbMATH DE number 2043318
• Information flow analysis for valued-indexed data security compartments
• Noninterference in a predicative polymorphic calculus for access control

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites Work

• A syntactic approach to type soundness
• Semantic subtyping with an SMT solver
• Access control in a core calculus of dependency
• Logic in Access Control (Tutorial Notes)
• Type-Based Access Control in Data-Centric Systems
• Principles and Applications of Refinement Types

Cited In (4)

• Type-level access controls for distributed structurally object-oriented database systems
• Information Flow Analysis for Valued-Indexed Data Security Compartments
• Type-Based Access Control in Data-Centric Systems
• A type system for Discretionary Access Control

Uses Software

• Fable
• Links

This page was built for publication: Type-based access control in data-centric systems

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