Formalizing a hierarchical file system

DOI10.1016/J.ENTCS.2009.12.018zbMATH Open1342.68063OpenAlexW2139015511MaRDI QIDQ2994491FDOQ2994491

Authors: W. H. Hesselink, M. I. Lali 

Publication date: 1 August 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

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

Recommendations

• Formalizing a hierarchical file system
• scientific article; zbMATH DE number 1696852
• scientific article; zbMATH DE number 2242606
• A formally proved, complete algorithm for path resolution with symbolic links
• Formal Analysis of Dynamic, Distributed File-System Access Controls

zbMATH Keywords

verificationrefinementspecificationtheorem provingfile systempermission system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Cites Work

• Logic in Computer Science
• Title not available (Why is that?)
• POSIX file store in Z/Eves: An experiment in the verified software repository
• A mini challenge: build a verifiable filesystem
• Specification of the UNIX Filing System

Cited In (4)

• Cogent: uniqueness types and certifying compilation
• A formally proved, complete algorithm for path resolution with symbolic links
• Formalizing a hierarchical file system
• Title not available (Why is that?)

Uses Software

• JML

This page was built for publication: Formalizing a hierarchical file system

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