A formal study of collaborative access control in distributed Datalog

DOI10.4230/LIPICS.ICDT.2016.10MaRDI QIDQ5276189zbMATH OpenFDO

Authors Serge Abiteboul, Pierre Bourhis, Victor Vianu

Publication date 14 July 2017

Full work available at URL https://doi.org/10.4230/LIPICS.ICDT.2016.10

zbMATH Keywords

access controldistributed Datalogprovenance

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Recommendations

• A logic of access control
• A logic of access control
• scientific article; zbMATH DE number 2090519
• Information Security
• CONCUR 2004 - Concurrency Theory

Describes a project that uses

Uses Software

• Cassandra
• Datalog
• Bloom

This page was built for publication: A formal study of collaborative access control in distributed Datalog

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