Formal Analysis of Dynamic, Distributed File-System Access Controls

DOI10.1007/11888116_8zbMath1225.68036OpenAlexW1570544488MaRDI QIDQ3613061

Martín Abadi, Avik Chaudhuri

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)

Cites Work

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

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