Formal Analysis of Dynamic, Distributed File-System Access Controls
- 1 January 2006
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 99-114
- https://doi.org/10.1007/11888116_8
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- Formal security analysis of basic network-attached storagePublished by Association for Computing Machinery (ACM) ,2005
- Analyzing security protocols with secrecy types and logic programsJournal of the ACM, 2005
- Typing correspondence assertions for communication protocolsTheoretical Computer Science, 2003
- Enforceable security policiesACM Transactions on Information and System Security, 2000
- Authenticating network attached storageIEEE Micro, 2000
- A Calculus for Cryptographic Protocols: The Spi CalculusInformation and Computation, 1999
- Protection in programming-language translationsLecture Notes in Computer Science, 1998
- The Polyadic π-Calculus: a TutorialPublished by Springer Science and Business Media LLC ,1993
- Testing equivalences for processesTheoretical Computer Science, 1984
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977