Type-based access control in data-centric systems

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

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

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

Mathematics Subject Classification ID

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

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

Cites Work

• A syntactic approach to type soundness
• Access control in a core calculus of dependency
• Logic in Access Control (Tutorial Notes)
• Principles and applications of refinement types
• Semantic subtyping with an SMT solver
• Type-based access control in data-centric systems

Cited In (4)

• Type-level access controls for distributed structurally object-oriented database systems
• Type-based access control in data-centric systems
• Information flow analysis for valued-indexed data security compartments
• 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)