Type-Based Access Control in Data-Centric Systems

DOI10.1007/978-3-642-19718-5_8zbMath1326.68082DBLPconf/esop/CairesPSVF11OpenAlexW1580968850WikidataQ57652409 ScholiaQ57652409MaRDI QIDQ3000577

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

Mathematics Subject Classification ID

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

Related Items (2)

Type-Based Access Control in Data-Centric Systems ⋮ Information Flow Analysis for Valued-Indexed Data Security Compartments

Uses Software

• Fable
• Links

Cites Work

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

This page was built for publication: Type-Based Access Control in Data-Centric Systems