Formal Analysis of Dynamic, Distributed File-System Access Controls

DOI10.1007/11888116_8MaRDI QIDQ3613061zbMATH OpenOpenAlexFDO

Authors Avik Chaudhuri, Martín Abadi

Publication date 11 March 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11888116_8

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Distributed systems (68M14)

Recommendations

• On Consistency of Encrypted Files
• Key derivation algorithms for monotone access structures in cryptographic file systems
• Building secure file systems out of Byzantine storage
• Universally composable cryptographic role-based access control
• Dynamic Access Control in a Concurrent Object Calculus

Cites work

• A calculus for cryptographic protocols: The spi calculus
• Analyzing security protocols with secrecy types and logic programs
• Building secure file systems out of Byzantine storage
• Fully abstract models of typed \(\lambda\)-calculi
• Mobile values, new names, and secure communication
• Testing equivalences for processes
• Typing correspondence assertions for communication protocols

Cited in

(6)

• Formalizing a hierarchical file system
• Controlling file access with types
• Formalizing a hierarchical file system
• Key derivation algorithms for monotone access structures in cryptographic file systems
• On Consistency of Encrypted Files
• Co-design and verification of an available file system

This page was built for publication: Formal Analysis of Dynamic, Distributed File-System Access Controls

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