Formal Analysis of Dynamic, Distributed File-System Access Controls
From MaRDI portal
Publication:3613061
DOI10.1007/11888116_8zbMath1225.68036OpenAlexW1570544488MaRDI QIDQ3613061
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
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