Controlling file access with types

DOI10.1016/J.ENTCS.2017.04.002MaRDI QIDQ1744439zbMATH OpenOpenAlexWikidataFDO

Authors Rakan Alsowail, Ian Mackie

Publication date 23 April 2018

Full work available at URL https://doi.org/10.1016/j.entcs.2017.04.002

zbMATH Keywords

security typesfile sharingtype checking

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Logic in computer science (03B70)

Recommendations

• A static type system for JVM access control
• scientific article; zbMATH DE number 1693037
• A type system for Discretionary Access Control
• Formal Analysis of Dynamic, Distributed File-System Access Controls
• Trustworthy Global Computing

Cites work

• scientific article; zbMATH DE number 48139 (Why is no real title available?)
• A lattice model of secure information flow
• Certification of programs for secure information flow
• On flow-sensitive security types
• Protection in operating systems
• Secrecy by typing in security protocols

This page was built for publication: Controlling file access with types

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