Controlling file access with types

DOI10.1016/j.entcs.2017.04.002zbMath1401.68067OpenAlexW2703350860WikidataQ113317599 ScholiaQ113317599MaRDI QIDQ1744439

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)

Cites Work

• Unnamed Item
• Secrecy by typing in security protocols
• A lattice model of secure information flow
• Protection in operating systems
• Certification of programs for secure information flow
• On flow-sensitive security types

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