<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Type-based access control in data-centric systems"^^ . "Data-centric multi-user systems, such as web applications, require flexible yet fine-grained data security mechanisms. Such mechanisms are usually enforced by a specially crafted security layer, which adds extra complexity and often leads to error prone coding, easily causing severe security breaches. In this paper, we introduce a programming language approach for enforcing access control policies to data in data-centric programs by static typing. Our development is based on the general concept of refinement type, but extended so as to address realistic and challenging scenarios of permission-based data security, in which policies dynamically depend on the database state, and flexible combinations of column- and row-level protection of data are necessary. We state and prove soundness and safety of our type system, stating that well-typed programs never break the declared data access control policies."^^ . "2011" . . "6602" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . "Jorge A."^^ . "Pérez"^^ . "Jorge A. Pérez"^^ . . "Hugo "^^ . "Torres Vieira"^^ . "Hugo Torres Vieira"^^ . . "Luis"^^ . "Caires"^^ . "Luis Caires"^^ . . "Lúcio"^^ . "Ferrão"^^ . "Lúcio Ferrão"^^ . . "João C."^^ . "Seco"^^ . "João C. Seco"^^ . . . . . . "Type-based access control in data-centric systems (PDF)"^^ . . . "tbac.pdf"^^ . . . "Type-based access control in data-centric systems (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Type-based access control in data-centric systems (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Type-based access control in data-centric systems (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Type-based access control in data-centric systems (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #2719 \n\nType-based access control in data-centric systems\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .